Giuseppe De Giacomo, Paolo Felli, Brian Logan 0001, Fabio Patrizi, Sebastian SardiƱa. Situation calculus for controller synthesis in manufacturing systems with first-order state representation. Artificial Intelligence, 302:103598, 2022. [doi]
Abstract is missing.