Sfoglia per Autore
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past
2018-01-01 Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Reynolds, Mark
An abstract distributed middleware for transactions over heterogeneous stores
2019-01-01 Geatti, L.; Igne, F.; Miculan, M.
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL
2019-01-01 Geatti, Luca; Gigante, Nicola; Montanari, Angelo
Reactive Synthesis from Extended Bounded Response LTL Specifications
2020-01-01 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past
2020-01-01 Geatti, L.; Gigante, N.; Montanari, A.; Reynolds, M.
Safe decomposition of startup requirements: verification and synthesis
2020-01-01 Cimatti, A.; Geatti, L.; Griggio, A.; Kimberly, G.; Tonetta, S.
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis
2021-01-01 Cimatti, A.; Geatti, L.; Gigante, N.; Montanari, A.; Tonetta, S.
Past matters: Supporting LTL+past in the BLACK satisfiability Checker
2021-01-01 Geatti, L.; Gigante, N.; Montanari, A.; Venturato, G.
Expressiveness of Extended Bounded Response LTL
2021-01-01 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
BLACK: A fast, flexible and reliable LTL satisfiability checker
2021-01-01 Geatti, L.; Gigante, N.; Montanari, A.
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis
2021-01-01 Cimatti, A.; Geatti, L.; Gigante, N.; Montanari, A.; Tonetta, S.
Controller Synthesis for Timeline-based Games
2022-01-01 Acampora, R.; Geatti, L.; Gigante, N.; Montanari, A.; Picotti, V.
Temporal Logic Specifications: Expressiveness, Satisfiability and Realizability
2022-03-11 Geatti, Luca
A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL
2023-01-01 Artale, A.; Geatti, L.; Gigante, N.; Mazzullo, A.; Montanari, A.
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis
2023-01-01 Cimatti, A.; Geatti, L.; Gigante, N.; Montanari, A.; Tonetta, S.
Complexity of Safety and coSafety Fragments of Linear Temporal Logic
2023-01-01 Artale, A.; Geatti, L.; Gigante, N.; Mazzullo, A.; Montanari, A.
Decidable Fragments of LTLf Modulo Theories
2023-01-01 Geatti, L.; Gianola, A.; Gigante, N.; Winkler, S.
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa
2023-01-01 Artale, A.; Geatti, L.; Gigante, N.; Mazzullo, A.; Montanari, A.
Qualitative past Timeline-Based Games
2023-01-01 Acampora, R.; Geatti, L.; Gigante, N.; Montanari, A.
GR(1) is equivalent to R(1)
2023-01-01 Cimatti, A.; Geatti, L.; Gigante, N.; Montanari, A.; Tonetta, S.
A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies
2023-01-01 Artale, A.; Geatti, L.; Gigante, N.; Mazzullo, A.
Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories
2023-01-01 Geatti, L.; Gianola, A.; Gigante, N.
A FIRST-ORDER LOGIC CHARACTERIZATION OF SAFETY AND CO-SAFETY LANGUAGES
2023-01-01 Cimatti, A.; Geatti, L.; Gigante, N.; Tonetta, S.; Montanari, A.
A Linear-size Cascade Decomposition for Wheeler Automata
2023-01-01 D'Agostino, G.; Geatti, L.; Martincigh, D.; Policriti, A.
Towards Machine Learning Enhanced LTL Monitoring
2023-01-01 Geatti, Luca; Montanari, Angelo; Saccomanno, Nicola
Foundations of Collaborative DECLARE
2023-01-01 Geatti, L.; Montali, M.; Rivkin, A.
SAT Meets Tableaux for Linear Temporal Logic Satisfiability
2024-01-01 Geatti, L.; Gigante, N.; Montanari, A.; Venturato, G.
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems
2024-01-01 Geatti, L.; Mansutti, A.; Montanari, A.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past | 1-gen-2018 | Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Reynolds, Mark | |
An abstract distributed middleware for transactions over heterogeneous stores | 1-gen-2019 | Geatti, L.; Igne, F.; Miculan, M. | |
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL | 1-gen-2019 | Geatti, Luca; Gigante, Nicola; Montanari, Angelo | |
Reactive Synthesis from Extended Bounded Response LTL Specifications | 1-gen-2020 | Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano | |
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past | 1-gen-2020 | Geatti, L.; Gigante, N.; Montanari, A.; Reynolds, M. | |
Safe decomposition of startup requirements: verification and synthesis | 1-gen-2020 | Cimatti, A.; Geatti, L.; Griggio, A.; Kimberly, G.; Tonetta, S. | |
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis | 1-gen-2021 | Cimatti, A.; Geatti, L.; Gigante, N.; Montanari, A.; Tonetta, S. | |
Past matters: Supporting LTL+past in the BLACK satisfiability Checker | 1-gen-2021 | Geatti, L.; Gigante, N.; Montanari, A.; Venturato, G. | |
Expressiveness of Extended Bounded Response LTL | 1-gen-2021 | Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano | |
BLACK: A fast, flexible and reliable LTL satisfiability checker | 1-gen-2021 | Geatti, L.; Gigante, N.; Montanari, A. | |
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis | 1-gen-2021 | Cimatti, A.; Geatti, L.; Gigante, N.; Montanari, A.; Tonetta, S. | |
Controller Synthesis for Timeline-based Games | 1-gen-2022 | Acampora, R.; Geatti, L.; Gigante, N.; Montanari, A.; Picotti, V. | |
Temporal Logic Specifications: Expressiveness, Satisfiability and Realizability | 11-mar-2022 | Geatti, Luca | |
A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL | 1-gen-2023 | Artale, A.; Geatti, L.; Gigante, N.; Mazzullo, A.; Montanari, A. | |
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis | 1-gen-2023 | Cimatti, A.; Geatti, L.; Gigante, N.; Montanari, A.; Tonetta, S. | |
Complexity of Safety and coSafety Fragments of Linear Temporal Logic | 1-gen-2023 | Artale, A.; Geatti, L.; Gigante, N.; Mazzullo, A.; Montanari, A. | |
Decidable Fragments of LTLf Modulo Theories | 1-gen-2023 | Geatti, L.; Gianola, A.; Gigante, N.; Winkler, S. | |
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa | 1-gen-2023 | Artale, A.; Geatti, L.; Gigante, N.; Mazzullo, A.; Montanari, A. | |
Qualitative past Timeline-Based Games | 1-gen-2023 | Acampora, R.; Geatti, L.; Gigante, N.; Montanari, A. | |
GR(1) is equivalent to R(1) | 1-gen-2023 | Cimatti, A.; Geatti, L.; Gigante, N.; Montanari, A.; Tonetta, S. | |
A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies | 1-gen-2023 | Artale, A.; Geatti, L.; Gigante, N.; Mazzullo, A. | |
Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories | 1-gen-2023 | Geatti, L.; Gianola, A.; Gigante, N. | |
A FIRST-ORDER LOGIC CHARACTERIZATION OF SAFETY AND CO-SAFETY LANGUAGES | 1-gen-2023 | Cimatti, A.; Geatti, L.; Gigante, N.; Tonetta, S.; Montanari, A. | |
A Linear-size Cascade Decomposition for Wheeler Automata | 1-gen-2023 | D'Agostino, G.; Geatti, L.; Martincigh, D.; Policriti, A. | |
Towards Machine Learning Enhanced LTL Monitoring | 1-gen-2023 | Geatti, Luca; Montanari, Angelo; Saccomanno, Nicola | |
Foundations of Collaborative DECLARE | 1-gen-2023 | Geatti, L.; Montali, M.; Rivkin, A. | |
SAT Meets Tableaux for Linear Temporal Logic Satisfiability | 1-gen-2024 | Geatti, L.; Gigante, N.; Montanari, A.; Venturato, G. | |
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems | 1-gen-2024 | Geatti, L.; Mansutti, A.; Montanari, A. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile