GitHub topics: and-or-graphs
prajval10/industrialRobot_task_planning
This is the public repo of my M.S thesis on "Implementation of Human-Robot Collaboration Model in Manufacturing Scenarios"
Language: C++ - Size: 47.7 MB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 7 - Forks: 5
whitemech/cynthia
SDD-based Forward LTLf Synthesis
Language: C++ - Size: 460 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0
