Publications

  1. Panjkovic, Stefan; Micheli, Andrea; Cimatti, Alessandro,
    Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI2022,
    2022
  2. Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 307,
    2022
  3. Syifa'ul Mufid, Muhammad; Micheli, Andrea; Abate, Alessandro; Cimatti, Alessandro,
    32nd International Conference on Concurrency Theory (CONCUR 2021),
    2021
  4. 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
  5. Ribeiro, Tomás; Lima, Oscar; Cashmore, Michael; Micheli, Andrea; Ventura, Rodrigo,
    Proceedings of 28th International Symposium on Temporal Representation and Reasoning,
    Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik,
    vol. 206,
    2021
    , pp. 15:1-
    15:15
  6. Micheli, Andrea; Valentini, Alessandro,
    Proceedings of Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI2021, Technical Tracks,
    AAAI Press,
    vol. 35,
    n. 13,
    2021
    , pp. 11895-
    11902
  7. Valentini, Alessandro; Micheli, Andrea; Cimatti, Alessandro,
    Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20),
    AAAI Press,
    vol. 34,
    n. 6,
    2020
  8. Abate, Alessandro; Cimatti, Alessandro; Micheli, Andrea; Mufid, Muhammad Syifa’ul,
    Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings,
    vol. 12288,
    2020
    , pp. 161-
    177
  9. Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico,
    Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20),
    AAAI Press,
    2020
  10. Cashmore, Michael; Cimatti, Alessandro; Magazzeni, Daniele; Micheli, Andrea; Zehtabi, Parisa,
    Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19),
    vol. 33,
    2019
  11. Micheli, Andrea; Scala, Enrico,
    Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19),
    AAAI Press,
    2019
    , pp. 7675-
    7682
  12. Cimatti, Alessandro; Do, Minh; Micheli, Andrea; Roveri, Marco; Smith, David E.,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 256,
    2018
    , pp. 1-
    34
  13. Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco,
    Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence,
    AAAI Press,
    2017
    , pp. 3547-
    3554
  14. Micheli, Andrea,
    Disjunctive temporal networks with uncertainty via SMT: Recent results and directions,
    in «INTELLIGENZA ARTIFICIALE»,
    vol. 11,
    n. 2,
    2017
    , pp. 155-
    178
  15. Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni,
    Tools and Algorithms for the Construction and Analysis of Systems,
    Springer Berlin Heidelberg,
    vol. 9636,
    2016
    , pp. 533-
    539
  16. Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco,
    in «ACTA INFORMATICA»,
    2016
    , pp. 1-
    42
  17. Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco,
    Proceedings of the Thirtieth AAAI}Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA,
    2016
    , pp. 3116-
    3122
  18. Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco,
    in «CONSTRAINTS»,
    vol. 20,
    2015
    , pp. 7-
    29
  19. Cimatti A.; Micheli A.; Roveri M,
    Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach,
    Proceedings of the 29th AAAI Conference on Artificial Intelligence,
    AAAI Press,
    2015
  20. Bozzano M.; Cimatti A.; Gario M.; Micheli A.,
    SMT-based Validation of Timed Failure Propagation Graphs,
    Proceedings of the 29th AAAI Conference on Artificial Intelligence,
    AAAI Press,
    2015
  21. Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco,
    An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 224,
    2015
    , pp. 1-
    27
  22. Micheli, Andrea; Do, Minh; Smith, David,
    Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015,
    AAAI Press,
    2015
    , pp. 1631-
    1637
  23. Gario, Marco Elio Gustavo; Micheli, Andrea,
    Proceedings of the 13th International Workshop on Satisfiability Modulo Theories (SMT),
    2015
  24. Cavada, Roberto; Cimatti, Alessandro; Dorigatti, Michele; Griggio, Alberto; Mariotti, Alessandro; Micheli, Andrea; Mover, Sergio; Roveri, Marco; Tonetta, Stefano,
    The nuXmv Symbolic Model Checker,
    CAV,
    2014
    , pp. 334-
    342
  25. Cimatti, Alessandro; Hunsberger, L.; Micheli, Andrea; Roveri, Marco,
    Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence,
    AAAI Press,
    2014
    , pp. 2242-
    2249
  26. Cimatti A.; Hunsberger L.; Micheli A.; Posenato R; Roveri M.,
    Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation,
    Proceedings of the 21st International Symposium on Temporal Representation and Reasoning,
    IEEE,
    2014
    , pp. 27-
    36
  27. Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco,
    AAAI,
    David Leake,
    2013
    , pp. 195-
    201
  28. Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco,
    Solving Temporal Problems using SMT: Weak Controllability,
    Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence,
    AAAI Press,
    2012
  29. Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco,
    Solving Temporal Problems using SMT: Strong Controllability,
    Proceedings of the 18th International Conference on Principles and Practice of Constraint Programming,
    2012
  30. Cimatti, Alessandro; Griggio, Alberto; Micheli, Andrea; Iman, Narasamdya; Roveri, Marco,
    2011
  31. Cavada, Roberto; Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco; Susi, Angelo; Tonetta, Stefano,
    OthelloPlay: a plug-in based tool for requirement formalization and validation,
    Proceedings of the 1st Workshop on Developing Tools as Plug-ins,
    2011
    , pp. 59-
    59
  32. Cimatti, Alessandro; Micheli, Andrea; Narasamdya, Iman; Roveri, Marco,
    Verifying SystemC: a Software Model Checking Approach,
    Proceedings of the 10th Int. Conference on Formal Methods in Computer-Aided Design,
    2010
    , pp. 51-
    60
  33. Roveri, Marco; Cimatti, Alessandro; Narasamdya, Iman; Micheli, Andrea; Daniele, Campana; Griggio, Alberto; Tchaltsev, Andrei,
    2010
  34. Cavada, Roberto; Cimatti, Alessandro; Mariotti, Alessandro; Mattarei, Cristian; Micheli, Andrea; Mover, Sergio; Pensallorto, Marco; Roveri, Marco; Susi, Angelo; Tonetta, Stefano,
    Supporting Requirements Validation: The EuRailCheck Tool,
    Proceedings of 24th Int. Conference Automated Software Engineering,
    2009
    , pp. 665-
    667
  35. Roveri, Marco; Cimatti, Alessandro; Cavada, Roberto; Tchaltsev, Andrei; Micheli, Andrea; Mariotti, Alessandro; Mover, Sergio; Marco, Pensallorto; Armando, Tacchella; Daniel, Sheridan; Gavin, Keighren; Tommi, Junttila; Timo, Latvala,
    2002