1. Bombardelli, Alberto; Tonetta, Stefano,
    Asynchronous Composition of Local Interface LTL Properties,
    NASA formal methods,
    vol. 13260,
    2022
    , pp. 508-
    526
  2. Artikis, Alexander; Posenato, Roberto; Tonetta, Stefano,
    29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference,
    Schloss Dagstuhl - Leibniz-Zentrum fur Informatik,
    vol. 247,
    2022
  3. Abraham, Erika; Davenport, James H.; England, Matthew; Griggio, Alberto,
    New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072),
    2022
  4. Mann, Makai; Irfan, Ahmed; Griggio, Alberto; Padon, Oded; Barrett, Clark,
    Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays,
    in «LOGICAL METHODS IN COMPUTER SCIENCE»,
    vol. 18,
    n. 3,
    2022
  5. Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico,
    Decidability and Complexity of Action-Based Temporal Planning over Dense Time,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 307,
    2022
  6. Gigante, Nicola; Micheli, Andrea; Scala, Enrico,
    On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning,
    Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning,
    2022
    , pp. 174-
    183
  7. Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Jones, David; Mattarei, Cristian,
    Model-based Safety Assessment of a Triple Modular Generator with XSAP,
    in «FORMAL ASPECTS OF COMPUTING»,
    vol. 33,
    n. 2,
    2021
    , pp. 251-
    295
  8. Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca,
    Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning,
    28th International Conference on Automated Deduction, Proceedings,
    vol. 12699,
    2021
    , pp. 131-
    147
  9. Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico,
    Proving the Existence of Fair Paths in Infinite-State Systems,
    Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021,
    vol. 12597,
    2021
    , pp. 104-
    126
  10. Bozzano, Marco; Cimatti, Alessandro; Fernandes Pires, Anthony; Griggio, Alberto; Jonas, Martin; Kimberly, Greg,
    Efficient SMT-Based Analysis of Failure Propagation,
    Proceedings of Computer Aided Verification - 33rd International Conference, (CAV2021), Virtual Event, Part II,
    Springer,
    vol. 12760,
    2021
    , pp. 209-
    230
  11. Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco,
    A Comprehensive Approach to On-board Autonomy Verification and Validation,
    in «ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY»,
    vol. 12,
    n. 4,
    2021
    , pp. 1-
    29
  12. Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano,
    Assumption-Based Runtime Verification of Infinite-State Systems,
    Proceedings of Runtime Verification (RV 2021),
    vol. 12974,
    n. 11,
    2021
    , pp. 207-
    227
  13. Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano,
    Extended bounded response LTL: a new safety fragment for efficient reactive synthesis,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    2021
  14. Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano,
    Expressiveness of Extended Bounded Response LTL,
    in «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE»,
    Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021),
    vol. 346,
    2021
    , pp. 152-
    165
  15. Syifa'ul Mufid, Muhammad; Micheli, Andrea; Abate, Alessandro; Cimatti, Alessandro,
    SMT-Based Model Checking of Max-Plus Linear Systems,
    32nd International Conference on Concurrency Theory (CONCUR 2021),
    2021
  16. Cashmore, Michael; Cimatti, Alessandro; Magazzeni, Daniele; Micheli, Andrea; Zehtabi, Parisa,
    Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans,
    Proceedings of 13:1--13:128th International Symposium on Temporal Representation and Reasoning (TIME 2021),
    Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik,
    2021
    , pp. 13:1-
    13:14
  17. Mover, Sergio; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Tonetta, Stefano,
    Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems,
    Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, Proceedings, Part I,
    Springer,
    vol. 12759,
    2021
    , pp. 529-
    551
  18. Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano,
    Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis,
    Proceedings of Software Engineering and Formal Methods - 19th International Conference,SEFM 2021,
    Springer,
    vol. 13085,
    2021
    , pp. 351-
    371
  19. Bartali, Ruben; Christodoulaki, Rosie; Drosou, Vassiliki; Baker Derek, Keith; Svaizer, Piergiorgio; Alarcón-Padilla, Diego-César; Osório, Tiago; Kramer, Wolfgang; Bolognese, Michele; Pratticò, Luca; Viesi, Diego; Roca Sobrino, Lidia; Guillen Burrieza, Elena; Fluch, Juergen; Bayer, Özgür; Pınarlı, Deniz; Erdoğan, Selin; Brunner, Christoph; Cavada, Roberto; Bonizzi, Alberto; Cimatti, Alessandro; Zanetti, Alberto; Crema, Luigi,
    Decarbonization of industrial processes: technologies, applications and perspectives of low-temperature solar heat (80-150°C),
    EuroSun 2020 Proceedings,
    2021
    , pp. 1-
    13
  20. Becchi, Anna; Cimatti, Alessandro; Zaffanella, Enea,
    Reverse engineering with P-stable Abstractions,
    Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021,
    vol. 2987,
    2021
    , pp. 91-
    95