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
Video #2 Length : 00:11:56