1. Symbolic Observer-Based Controller for Uncertain Nonlinear Systems
2. Christel Baier and Joost-Pieter Katoen . 2008. Principles of Model Checkit . MIT Press . Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checkit. MIT Press.
3. Armin Biere , Keijo Heljanko , and Siert Wieringa . 2011. AIGER 1.9 And Beyond . Technical Report 11/2 . Institute for Formal Models and Verification, Johannes Kepler University , Altenbergerstr. 69, 4040 Linz, Austria. Armin Biere, Keijo Heljanko, and Siert Wieringa. 2011. AIGER 1.9 And Beyond. Technical Report 11/2. Institute for Formal Models and Verification, Johannes Kepler University, Altenbergerstr. 69, 4040 Linz, Austria.
4. Armin Biere , Florian Lonsing , and Martina Seidl . 2011 . Blocked Clause Elimination for QBF. In Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011 . Proceedings(Lecture Notes in Computer Science, Vol. 6803) , Nikolaj Björner and Viorica Sofronie-Stokkermans (Eds.). Springer, 101–115. https://doi.org/10.1007/978-3-642-22438-6_10 10.1007/978-3-642-22438-6_10 Armin Biere, Florian Lonsing, and Martina Seidl. 2011. Blocked Clause Elimination for QBF. In Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings(Lecture Notes in Computer Science, Vol. 6803), Nikolaj Björner and Viorica Sofronie-Stokkermans (Eds.). Springer, 101–115. https://doi.org/10.1007/978-3-642-22438-6_10
5. Krishnendu Chatterjee , Laurent Doyen , Thomas A. Henzinger , and Jean-François Raskin . 2007. Algorithms for Omega-Regular Games with Imperfect Information. Logical Methods in Computer Science 3, 3 ( 2007 ). Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, and Jean-François Raskin. 2007. Algorithms for Omega-Regular Games with Imperfect Information. Logical Methods in Computer Science 3, 3 (2007).