Pinned Repositories
formalRL
GCRL-LTL
NeurlPS'23 Instructing Goal-Conditioned Agents with LTL Objectives
Metabot
Metaworld
Collections of robotics environments geared towards benchmarking multi-task and meta reinforcement learning
metaworld-ac
Optimal_method
Implement some optimal method in Matlab, for a optimal method class in Beijing Institute of Technology
RDKDC_final
RDKDC_final_project
Robothon2023_REAL
uav_tracking
Beijing Institue of Technology Final Project
VFSTL
harryting-yiting's Repositories
harryting-yiting/Metabot
harryting-yiting/Robothon2023_REAL
harryting-yiting/formalRL
harryting-yiting/VFSTL
harryting-yiting/metaworld-ac
harryting-yiting/Optimal_method
Implement some optimal method in Matlab, for a optimal method class in Beijing Institute of Technology
harryting-yiting/uav_tracking
Beijing Institue of Technology Final Project
harryting-yiting/GCRL-LTL
NeurlPS'23 Instructing Goal-Conditioned Agents with LTL Objectives
harryting-yiting/Metaworld
Collections of robotics environments geared towards benchmarking multi-task and meta reinforcement learning
harryting-yiting/RDKDC_final
RDKDC_final_project
harryting-yiting/RDKDC_lab3
harryting-yiting/rtamt
Specification-based real-time monitoring library
harryting-yiting/STAP
Official repository for "STAP: Sequencing Task-Agnostic Policies," presented at ICRA 2023.
harryting-yiting/symbolic
C++/Python PDDL Library
harryting-yiting/Template-of-HKUST-GZ-Thesis
harryting-yiting/VAL
The plan validation system.