I am a master student at HKUST(GZ), interested in RL and Formal Method.
-
HKUST(GZ)
Block or Report
Block or report harryting-yiting
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
-
GCRL-LTL Public
Forked from RU-Automated-Reasoning-Group/GCRL-LTLNeurlPS'23 Instructing Goal-Conditioned Agents with LTL Objectives
Python GNU General Public License v3.0 UpdatedMar 19, 2024 -
rtamt Public
Forked from nickovic/rtamtSpecification-based real-time monitoring library
Python BSD 3-Clause "New" or "Revised" License UpdatedFeb 7, 2024 -
-
Template-of-HKUST-GZ-Thesis Public
Forked from luckyfan-cs/Template-of-HKUST-GZ-ThesisTeX MIT License UpdatedDec 19, 2023 -
-
-
Metaworld Public
Forked from Farama-Foundation/MetaworldCollections of robotics environments geared towards benchmarking multi-task and meta reinforcement learning
Python MIT License UpdatedAug 9, 2023 -
STAP Public
Forked from agiachris/STAPOfficial repository for "STAP: Sequencing Task-Agnostic Policies," presented at ICRA 2023.
Python MIT License UpdatedJun 23, 2023 -
symbolic Public
Forked from kevin-thankyou-lin/symbolicC++/Python PDDL Library
C++ MIT License UpdatedJan 1, 2023 -
-
VAL Public
Forked from KCL-Planning/VALThe plan validation system.
C++ BSD 3-Clause "New" or "Revised" License UpdatedOct 18, 2021 -
-
-
-
Optimal_method Public
Implement some optimal method in Matlab, for a optimal method class in Beijing Institute of Technology