Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)

Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña

• Video #1 Length : 00:01:28 on SlidesLive
• Video #2 Length : 00:11:56 on SlidesLive