Pinned Repositories
.github
active-learn-stl
DD2415_labs
Lab files for the course DD2415 - Safe robot planning and control
foresee-the-unseen
human-advisers
Implementation for RSS 2023 publication
least-limiting-advisers
Provides implementation and case studies for the paper "Decentralized Multi-Agent Strategy Synthesis under LTLf Specifications via Exchange of Least-Limiting Advisers"
scenario_generation
Code for Large-Scale Scenario Generation for Robotic Manipulation via Conditioned Generative Models
SpaTiaL
SpaTiaL is a framework to specify spatial and temporal relations between objects.
spatial_requests
STL-RT-RRTstar
KTH RPL Planiacs's Repositories
KTH-RPL-Planiacs/foresee-the-unseen
KTH-RPL-Planiacs/SpaTiaL
SpaTiaL is a framework to specify spatial and temporal relations between objects.
KTH-RPL-Planiacs/STL-RT-RRTstar
KTH-RPL-Planiacs/DD2415_labs
Lab files for the course DD2415 - Safe robot planning and control
KTH-RPL-Planiacs/human-advisers
Implementation for RSS 2023 publication
KTH-RPL-Planiacs/scenario_generation
Code for Large-Scale Scenario Generation for Robotic Manipulation via Conditioned Generative Models
KTH-RPL-Planiacs/.github
KTH-RPL-Planiacs/active-learn-stl
KTH-RPL-Planiacs/human-adviser-study
Source code for study for RSS 2023 publication
KTH-RPL-Planiacs/least-limiting-advisers
Provides implementation and case studies for the paper "Decentralized Multi-Agent Strategy Synthesis under LTLf Specifications via Exchange of Least-Limiting Advisers"
KTH-RPL-Planiacs/share-the-unseen
KTH-RPL-Planiacs/spatial_requests
KTH-RPL-Planiacs/stl_multiclass
KTH-RPL-Planiacs/mitl_task_solver_temporal_robustness