You are here

Andrea Micheli

Postdoc
  • Phone: 0461314138
  • FBK Povo
Publications
  1. Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco,
    Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence,
    AAAI Press,
    2017
    , pp. 3547-
    3554
    , (Thirty-First AAAI Conference on Artificial Intelligence,
    San Francisco, California, USA.,
    February 4-9, 2017)
  2. Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco,
    in «ACTA INFORMATICA»,
    2016
    , pp. 1 -
    42
  3. Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco; 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
    , (Tools and Algorithms for the Construction and Analysis of Systems,
    Eindhoven, The Netherlands,
    2-8 aprile 2016)
  4. Alessandro Cimatti; Andrea Micheli; Marco Roveri,
    Proceedings of the Thirtieth AAAI}Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA,
    2016
    , pp. 3116-
    3122
    , (Thirtieth AAAI}Conference on Artificial Intelligence,
    Phoenix, Arizona, USA,
    February 12-17, 2016)
  5. Alessandro Cimatti;Andrea Micheli;Marco Roveri,
    An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 224,
    2015
    , pp. 1 -
    27
  6. 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,
    Palo Alto, California,
    AAAI Press,
    2015
    , (AAAI 2015,
    Austin, Texas, USA,
    25/01/2015 - 30/01/2015)
  7. 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)
  8. 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)
  9. 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)
  10. Alessandro Cimatti; Andrea Micheli; Marco Roveri,
    Solving strong controllability of temporal problems with uncertainty using SMT,
    in «CONSTRAINTS»,
    2014

Pages