5 found
Order:
  1.  4
    Strong planning under partial observability.Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri & Paolo Traverso - 2006 - Artificial Intelligence 170 (4-5):337-384.
  2.  8
    Diagnosability of fair transition systems.Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta & Viktoria Vozarova - 2022 - Artificial Intelligence 309 (C):103725.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Strong temporal planning with uncontrollable durations.Alessandro Cimatti, Minh Do, Andrea Micheli, Marco Roveri & David E. Smith - 2018 - Artificial Intelligence 256 (C):1-34.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  1
    An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty.Alessandro Cimatti, Andrea Micheli & Marco Roveri - 2015 - Artificial Intelligence 224 (C):1-27.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  4
    A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis.Piergiorgio Bertoli, Marco Bozzano & Alessandro Cimatti - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 1--18.
    Direct download  
     
    Export citation  
     
    Bookmark