craigiedon/dl2_lfd craigiedon/dl2_lfd

  • Stars
    star
    1
  • Language
    Python
  • Created over 5 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
craigiedon/dl2_lfd
github

craigiedon

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Full Robotic Pipeline Codebase for paper: Elaborating on Learned Demonstrations with Temporal Logic Specifications

More Repositories

1

ProbRobScene

ProbRobScene: A Probabilistic Specification Language for 3D Robotic Manipulation Environments
Python
7
star
2

CarlaStuff

Rare Event Sampling for Safety Verification within the CARLA simulator
Python
5
star
3

ltl_diff

Mini-repository to transform Temporal Logic Constraints into a differentiable cost function
Python
3
star
4

automaticTestingSTL

Python
1
star
5

drake-exps

Drake Experiments
Python
1
star