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.
    Download PostScript file Download PDF file Download BibTeX file

Theses