IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 35 di 35
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
Safe decomposition of startup requirements: verification and synthesis 1-gen-2020 Cimatti, A.; Geatti, L.; Griggio, A.; Kimberly, G.; Tonetta, S.
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past 1-gen-2020 Geatti, L.; Gigante, N.; Montanari, A.; Reynolds, M.
Past matters: Supporting LTL+past in the BLACK satisfiability Checker 1-gen-2021 Geatti, L.; Gigante, N.; Montanari, A.; Venturato, G.
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.
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.
Expressiveness of Extended Bounded Response LTL 1-gen-2021 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
Controller Synthesis for Timeline-based Games 1-gen-2022 Acampora, R.; Geatti, L.; Gigante, N.; Montanari, A.; Picotti, V.
Linear Temporal Logic Modulo Theories over Finite Traces 1-gen-2022 Geatti, Luca; Gianola, Alessandro; Gigante, Nicola
Temporal Logic Specifications: Expressiveness, Satisfiability and Realizability 11-mar-2022 Geatti, Luca
Complexity of Safety and coSafety Fragments of Linear Temporal Logic 1-gen-2023 Artale, A.; Geatti, L.; Gigante, N.; Mazzullo, A.; Montanari, A.
Towards Machine Learning Enhanced LTL Monitoring 1-gen-2023 Geatti, Luca; Montanari, Angelo; Saccomanno, Nicola
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.
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis 1-gen-2023 Cimatti, A.; Geatti, L.; Gigante, N.; Montanari, A.; Tonetta, S.
A Linear-size Cascade Decomposition for Wheeler Automata 1-gen-2023 D'Agostino, G.; Geatti, L.; Martincigh, D.; Policriti, A.
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.
Foundations of Collaborative DECLARE 1-gen-2023 Geatti, L.; Montali, M.; Rivkin, A.
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.
Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories 1-gen-2023 Geatti, L.; Gianola, A.; Gigante, N.
Qualitative past Timeline-Based Games 1-gen-2023 Acampora, R.; Geatti, L.; Gigante, N.; Montanari, A.
Decidable Fragments of LTLf Modulo Theories 1-gen-2023 Geatti, L.; Gianola, A.; Gigante, N.; Winkler, S.
GR(1) is equivalent to R(1) 1-gen-2023 Cimatti, A.; Geatti, L.; Gigante, N.; Montanari, A.; Tonetta, S.
A FIRST-ORDER LOGIC CHARACTERIZATION OF SAFETY AND CO-SAFETY LANGUAGES 1-gen-2023 Cimatti, A.; Geatti, L.; Gigante, N.; Tonetta, S.; Montanari, A.
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization 1-gen-2024 Acampora, Renato; Della Monica, Dario; Geatti, Luca; Gigante, Nicola; Montanari, Angelo
Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring 1-gen-2024 Brunello, Andrea; Geatti, Luca; Montanari, Angelo; Saccomanno, Nicola
SMT-Based Symbolic Model-Checking for Operator Precedence Languages 1-gen-2024 Chiari, M.; Geatti, L.; Gigante, N.; Pradella, M.
SAT Meets Tableaux for Linear Temporal Logic Satisfiability 1-gen-2024 Geatti, L.; Gigante, N.; Montanari, A.; Venturato, G.
CONTROLLER SYNTHESIS FOR TIMELINE-BASED GAMES∗ 1-gen-2024 Acampora, R.; Geatti, L.; Gigante, N.; Picotti, V.; Montanari, A.
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems 1-gen-2024 Geatti, L.; Mansutti, A.; Montanari, A.
Foundations of Reactive Synthesis for Declarative Process Specifications 1-gen-2024 Geatti, L.; Montali, M.; Rivkin, A.
Cascade products and Wheeler automata 1-gen-2024 D'Agostino, G.; Geatti, L.; Martincigh, D.; Policriti, A.
Mostrati risultati da 1 a 35 di 35
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