Works by A. Cimatti

( view other items matching `A. Cimatti`, view all matches )
8 found
Order:
Disambiguations
Alessandro Cimatti [5]A. Cimatti [3]
  1.  5
    Weak, strong, and strong cyclic planning via symbolic model checking.A. Cimatti, M. Pistore, M. Roveri & P. Traverso - 2003 - Artificial Intelligence 147 (1-2):35-84.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  2.  6
    Conformant planning via symbolic model checking and heuristic search.A. Cimatti, M. Roveri & P. Bertoli - 2004 - Artificial Intelligence 159 (1-2):127-206.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  12
    Strong planning under partial observability.Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri & Paolo Traverso - 2006 - Artificial Intelligence 170 (4-5):337-384.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  9
    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. Author Albrecht, RW 251 Baid, NK 110 Barone, JM 168.S. Benayoun, S. Bocionek, S. K. Chakravarthy, S. Chi, A. Cimatti, V. Clement, J. Cooper, K. R. Cox, L. Dafa & B. Fade - forthcoming - Proceedings: Ai, Simulation and Planning in High Autonomy Systems.
    No categories
     
    Export citation  
     
    Bookmark  
  6.  7
    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  
  7.  15
    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  
  8.  4
    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