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 Sardina

Research output: Chapter in Book/Report/Conference proceedingPublished conference contribution

Fingerprint

Dive into the research topics of 'Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)∗'. Together they form a unique fingerprint.

Engineering & Materials Science