Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Cimatti, Alessandro
add a person with the name Cimatti, Alessandro
 

Other publications of authors with the same name

Improving Heuristics for Planning as Search in Belief Space., and . AIPS, page 143-152. AAAI, (2002)Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach., , and . AAAI, page 3254-3260. AAAI Press, (2015)Solving Temporal Problems Using SMT: Weak Controllability., , and . AAAI, AAAI Press, (2012)IC3 Modulo Theories via Implicit Predicate Abstraction., , , and . CoRR, (2013)Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions., , , , and . ACM Trans. Comput. Log., 19 (3): 19:1-19:52 (2018)Symbolic Implementation of Alternating Automata., , , and . Int. J. Found. Comput. Sci., 18 (4): 727-743 (2007)Kratos - A Software Model Checker for SystemC., , , , and . CAV, volume 6806 of Lecture Notes in Computer Science, page 310-316. Springer, (2011)Efficient Scenario Verification for Hybrid Automata., , and . CAV, volume 6806 of Lecture Notes in Computer Science, page 317-332. Springer, (2011)Formal Design and Safety Analysis of AIR6110 Wheel Brake System., , , , , , , and . CAV (1), volume 9206 of Lecture Notes in Computer Science, page 518-535. Springer, (2015)Boolean Abstraction for Temporal Logic Satisfiability., , , and . CAV, volume 4590 of Lecture Notes in Computer Science, page 532-546. Springer, (2007)