Conference Papers
- Kattenbelt, M., Kwiatkowska, M., Norman, G., Parker, D. (2008) "Game-Based Probabilistic Predicate Abstraction", Accepted to QAPL `08.
-
Kattenbelt, M., Ruys, T.C., Rensink, A. (2007)
"An Object-Oriented Framework for Explicit-State Model Checking", In: Groot, P.
(ed.), Proceedings of the 3rd European Symposium on Verification and Validation of Software Systems (VVSS `07),
Technische Universiteit Eindhoven. 84 - 92.
Theses
-
Kattenbelt, M.A. (2006)
Towards an Explicit-State Model Checking Framework.
Master's Thesis.
University of Twente.