| |
| 2009 | ||
|---|---|---|
| 3 | EE | Martin R. Neuhäußer, Mariëlle Stoelinga, Joost-Pieter Katoen: Delayed Nondeterminism in Continuous-Time Markov Decision Processes. FOSSACS 2009: 364-379 |
| 2007 | ||
| 2 | EE | Martin R. Neuhäußer, Joost-Pieter Katoen: Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes. CONCUR 2007: 412-427 |
| 1 | EE | Martin R. Neuhäußer, Thomas Noll: Abstraction and Model Checking of Core Erlang Programs in Maude. Electr. Notes Theor. Comput. Sci. 176(4): 147-163 (2007) |
| 1 | Joost-Pieter Katoen | [2] [3] |
| 2 | Thomas Noll | [1] |
| 3 | Mariëlle Stoelinga | [3] |