Situation calculus for controller synthesis in manufacturing systems with first-order state representation
| Autor: | De Giacomo, Giuseppe, Felli, Paolo, Logan, Brian, Patrizi, Fabio, Sardiña, Sebastian |
|---|---|
| Zdroj: | In Artificial Intelligence January 2022 302 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect