Salta al contenuto principale
Ricerc@Sapienza
Toggle navigation
Home
Login
Home
Pubblicazioni
"Situation calculus"
"ARTIFICIAL INTELLIGENCE"
"Automated synthesis"
Pubblicazioni
Pubblicazioni
Situation calculus for controller synthesis in manufacturing systems with first-order state representation
2022 - ARTIFICIAL INTELLIGENCE
De Giacomo, G.
; Felli, P.; Logan, B.;
Patrizi, F.
; Sardina, S.
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma