and-or-graphs

There are 0 repository under and-or-graphs 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"

  roboticsrobot-task-planningur-robotros-indigorobot-controlrobotic-armgazebohierarchical-modelsand-or-graphs
  Language:C++ 8

• whitemech / cynthia

  SDD-based Forward LTLf Synthesis

  linear-temporal-logicfinite-synthesisand-or-graphsand-or-searchcppsddsentential-decision-diagramtemporal-logics-on-finite-traces
  Language:C++ 4