You are here

Andrea Micheli

Postdoc
  • Phone: 0461314138
  • FBK Povo
Publications
  1. 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,
    Palo Alto, California,
    AAAI Press,
    2015
    , (AAAI 2015,
    Austin, Texas, USA,
    25/01/2015 - 30/01/2015)
  2. 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
    , (International Joint Conference on Artificial Intelligence,
    Buenos Aires, Argentina,
    July 25-31, 2015)
  3. Gario, Marco ; Micheli, Andrea,
    Proceedings of the 13th International Workshop on Satisfiability Modulo Theories (SMT),
    2015
    , (International Workshop on Satisfiability Modulo Theories (SMT),
    San Francisco, CA,
    July 18-19, 2015)
  4. Alessandro Cimatti; Andrea Micheli; Marco Roveri,
    Solving strong controllability of temporal problems with uncertainty using SMT,
    in «CONSTRAINTS»,
    2014
  5. R. Cavada;A. Cimatti;M. Dorigatti;A. Griggio;A. Mariotti;A. Micheli;S. Mover;M. Roveri;S. Tonetta,
    The nuXmv Symbolic Model Checker,
    CAV,
    2014
    , pp. 334-
    342
    , (Computer Aided Verification,
    Vienna,
    2014)
  6. Cimatti A.; Hunsberger L.; Micheli A.; Roveri M.,
    Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence,
    Palo Alto, California, USA,
    AAAI Press,
    2014
    , pp. 2242-
    2249
    , (Twenty-Eighth AAAI Conference on Artificial Intelligence,
    Quebec City, Quebec, Canada,
    27/07/2014 - 31/07/2014)
  7. 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
    , (21st International Symposium on Temporal Representation and Reasoning,
    Verona, Italia,
    08/09/2014 - 10/09/2014)
  8. Alessandro Cimatti; Andrea Micheli; Marco Roveri,
    AAAI,
    David Leake,
    2013
    , pp. 195-
    201
    , (Twenty-Seventh AAAI Conference on Artificial Intelligence,
    Bellevue, Washington, USA,
    14/07/2013 - 18/07/2013)
  9. Alessandro Cimatti; Andrea Micheli; Marco Roveri,
    Solving Temporal Problems using SMT: Weak Controllability,
    Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence,
    AAAI Press,
    2012
    , (AAAI 2012,
    Toronto, Canada,
    da 07/22/2012 a 07/26/2012)
  10. Alessandro Cimatti; Andrea Micheli; Marco Roveri,
    Solving Temporal Problems using SMT: Strong Controllability,
    Proceedings of the 18th International Conference on Principles and Practice of Constraint Programming,
    2012
    , (CP 2012,
    Quebec City, Canada,
    da 10/08/2012 a 10/12/2012)

Pages