You are here

Andrea Micheli

Postdoc
  • Phone: 0461314138
  • FBK Povo
Publications
  1. Cashmore, Michael; Cimatti, Alessandro; Magazzeni, Daniele; Micheli, Andrea; Zehtabi, Parisa,
    Robustness Envelopes for Temporal Plans,
    Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19),
    to be published
    , (Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19),
    Hilton Hawaiian Village, Honolulu, Hawaii, USA,
    January 27 – February 1, 2019)
  2. Micheli, Andrea; Scala, Enrico,
    Temporal Planning with Temporal Metric Trajectory Constraints,
    Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19),
    AAAI Press,
    2019
    , (The Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19),
    Honolulu,
    Febbraio 2019)
  3. Cimatti, Alessandro; Minh, Do; Micheli, Andrea; Roveri, Marco; Smith, David E.,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 256,
    2018
    , pp. 1 -
    34
  4. Micheli, Andrea,
    Disjunctive temporal networks with uncertainty via SMT: Recent results and directions,
    in «INTELLIGENZA ARTIFICIALE»,
    vol. 11,
    n. 2,
    2017
    , pp. 155 -
    178
  5. 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)
  6. Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco,
    in «ACTA INFORMATICA»,
    2016
    , pp. 1 -
    42
  7. 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)
  8. 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)
  9. 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
  10. 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)

Pages