selected publications
-
academic article
- An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty. Artificial intelligence. 224:1-27. 2015
- Solving strong controllability of temporal problems with uncertainty using SMT. Constraints : an international journal. 20:1-29. 2015
-
chapter
- The nuXmv Symbolic Model Checker. Computer Aided Verification. 334-342. 2014
- Solving Temporal Problems Using SMT: Strong Controllability. Lecture Notes in Computer Science. 248-264. 2012
- Kratos – A Software Model Checker for SystemC. Computer Aided Verification. 310-316. 2011
-
conference paper