harryting-yiting

Yiting He's repositories

Language:Python300

Language:C++3 1 1

Language:Jupyter Notebook200

Language:Jupyter Notebook200

Language:Python100

Implement some optimal method in Matlab, for a optimal method class in Beijing Institute of Technology

Language:MATLAB100

Beijing Institue of Technology Final Project

Language:Python1 10

NeurlPS'23 Instructing Goal-Conditioned Agents with LTL Objectives

Language:PythonGPL-3.0000

Collections of robotics environments geared towards benchmarking multi-task and meta reinforcement learning

Language:PythonMIT000

RDKDC_final_project

Language:MATLAB000

Language:MATLAB000

Specification-based real-time monitoring library

BSD-3-Clause000

Official repository for "STAP: Sequencing Task-Agnostic Policies," presented at ICRA 2023.

MIT000

C++/Python PDDL Library

MIT000

MIT000

The plan validation system.

BSD-3-Clause000