#

and-or-graphs

Here are 2 public repositories matching this topic...

prajval10 / industrialRobot_task_planning

This is the public repo of my M.S thesis on "Implementation of Human-Robot Collaboration Model in Manufacturing Scenarios"

robotics gazebo robot-control ros-indigo hierarchical-models robotic-arm robot-task-planning ur-robot and-or-graphs

Updated May 6, 2023
C++

whitemech / cynthia

SDD-based Forward LTLf Synthesis

cpp linear-temporal-logic sdd and-or-graphs and-or-search sentential-decision-diagram finite-synthesis temporal-logics-on-finite-traces

Updated Jan 15, 2023
C++

Improve this page

Add a description, image, and links to the and-or-graphs topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the and-or-graphs topic, visit your repo's landing page and select "manage topics."