Works by Alessandro Cimatti

( view other items matching `Alessandro Cimatti`, view all matches )
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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  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  
BibTeX / EndNote / RIS / etc
Export this page:
Restrictions





Configure languages here. Sign in to use this feature.

Viewing options


Open Category Editor
Off-campus access
Using PhilPapers from home?

Create an account to enable off-campus access through your institution's proxy server.

Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:

Email   RSS feed
Editorial team
General Editors:
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)

Area Editors:
David Bourget
Gwen Bradford
Berit Brogaard
Margaret Cameron
David Chalmers
James Chase
Rafael De Clercq
Ezio Di Nucci
Esa Diaz-Leon
Barry Hallen
Hans Halvorson
Jonathan Ichikawa
Michelle Kosch
Øystein Linnebo
JeeLoo Liu
Paul Livingston
Brandon Look
Manolo Martínez
Matthew McGrath
Michiru Nagatsu
Susana Nuccetelli
Giuseppe Primiero
Jack Alan Reynolds
Darrell P. Rowbottom
Aleksandra Samonek
Constantine Sandis
Howard Sankey
Jonathan Schaffer
Thomas Senor
Robin Smith
Daniel Star
Jussi Suikkanen
Aness Kim Webster

Other editors
Contact us
Learn more about PhilPapers

Home | New books and articles | Bibliographies | Philosophy journals | Discussions | Article Index | About PhilPapers | API | Contact us | Code of conduct

CDP Phiosophy Documentation Center
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation

Server: philpapers-web-748675bccf-jnxrt N