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.