Confluence reduction for Markov automata

Mark Timmer^*, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga

^*Corresponding author for this work

Research output: Contribution to journal › Article › Academic › peer-review

8 Citations (Scopus)

220 Downloads (Pure)

8 Citations
2 Conference contribution
1 Report

1 results

Filter

2013
Confluence reduction for Markov automata (extended version)
Timmer, M., van de Pol, J. & Stoelinga, M. I. A., Jun 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 26 p. (CTIT Technical Report Series; no. TR-CTIT-13-14)
Research output: Book/Report › Report › Professional

Open Access
File
81 Downloads (Pure)