FingerprintDive 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.
- Sort by
Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardina
Research output: Chapter in Book/Report/Conference proceeding › Published conference contribution