Skip to main content

Ricerc@Sapienza

Home
Login

Home
Automata
Risultati ricerca pubblicazioni

Risultati ricerca pubblicazioni

Pure-Past Linear Temporal and Dynamic Logic on Finite Traces

pubblicato su: IJCAI - 2020

De Giacomo Giuseppe, Di Stasio Antonio, Fuggitti Francesco, Rubin Sasha

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

2020 (2) Apply 2020 filter

Tipo pubblicazione

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

Rivista

IJCAI (1) Apply IJCAI filter

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 Automata filter Automata
Linear Time Logic in Finite Trances (1) Apply Linear Time Logic in Finite Trances filter
Planning for Temporal Extended Goals (1) Apply Planning for Temporal Extended Goals filter
Reasoning about actions (1) Apply Reasoning about actions filter
synthesis (1) Apply synthesis filter

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