1. Panjkovic, Stefan; Micheli, Andrea; Cimatti, Alessandro,
    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,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 309,
    2022
  3. Tierno, A.; Turri, G.; Cimatti, A.; Passerone, R.,
    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,
    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,
    28th International Conference on Automated Deduction, Proceedings,
    vol. 12699,
    2021
    , pp. 131-
    147
  7. Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico,
    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,
    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,
    in «ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY»,
    vol. 12,
    n. 4,
    2021
    , pp. 1-
    29
  10. Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano,
    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,
    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,
    32nd International Conference on Concurrency Theory (CONCUR 2021),
    2021
  14. Cashmore, Michael; Cimatti, Alessandro; Magazzeni, Daniele; Micheli, Andrea; Zehtabi, Parisa,
    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,
    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,
    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,
    EuroSun 2020 Proceedings,
    2021
    , pp. 1-
    13
  18. Becchi, Anna; Cimatti, Alessandro; Zaffanella, Enea,
    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,
    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,
    Proceedings of 9th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2021),
    2021
    , pp. 262-
    269