Skip to main content

Ricerc@Sapienza

Home
Login

Home
synthesis
2020
Risultati ricerca pubblicazioni

Risultati ricerca pubblicazioni

Two-Stage Technique for LTLf Synthesis Under LTL Assumptions

pubblicato su: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning - 2020

De Giacomo Giuseppe, Di Stasio Antonio, Vardi Moshe, Zhu Shufang

CATALOGO IRIS SAPIENZA

Anno

(-) Remove 2020 filter 2020

Tipo pubblicazione

04 Pubblicazione in atti di convegno (1) Apply 04 Pubblicazione in atti di convegno filter

Rivista

Book

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (1) Apply Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning filter

Keywords

(-) Remove synthesis filter synthesis
Automata (1) Apply Automata filter
Reasoning about actions (1) Apply Reasoning about actions filter

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma