1. Panjkovic, Stefan; Micheli, Andrea; Cimatti, Alessandro,
    Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping,
    Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI2022,
    2022
  2. Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano; Vozárová, Viktória,
    Diagnosability of fair transition systems,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 309,
    2022
  3. Tierno, A.; Turri, G.; Cimatti, A.; Passerone, R.,
    Automatic Design Space Exploration of Redundant Architectures,
    Proceedings of International Conference on Applications in Electronics Pervading Industry, Environment and Society,
    vol. 866,
    2022
    , pp. 149-
    159
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano,
    Expressiveness of Extended Bounded Response LTL,
    in «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE»,
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,
    vol. 346,
    2021
    , pp. 152-
    165
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. Bigarella, Filippo; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Jonáš, Martin; Roveri, Marco; Sebastiani, Roberto; Trentin, Patrick,
    Optimization Modulo Non-linear Arithmetic via Incremental Linearization,
    Frontiers of Combining Systems 13th International Symposium, FroCoS 2021,
    vol. 12941,
    2021
    , pp. 213-
    231
  20. Tonetta, Stefano; Mazzini, Silvia; Pierini, Pierluigi; Ihirwe, Felicien; Debiasi, Alberto,
    Model-based Analysis Support for Dependable Complex Systems in CHESS,
    Proceedings of 9th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2021),
    2021
    , pp. 262-
    269