Works by Cimatti, A. (exact spelling)

( view other items matching `Cimatti, A.`, view all matches )
Order:
  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. 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