Confluence Reduction for Markov Automata

Mark Timmer, Jaco van de Pol, Mariëlle I.A. Stoelinga

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

21 Citations (Scopus)

122 Downloads (Pure)

21 Citations
1 Report
1 Conference contribution
1 Article

3 results

2016
Confluence reduction for Markov automata
Timmer, M., Katoen, J.-P., van de Pol, J. & Stoelinga, M., 6 Dec 2016, In: Theoretical computer science. 655, B, p. 193-219 27 p.
Research output: Contribution to journal › Article › Academic › peer-review

Open Access
File
8 Citations (Scopus)

219 Downloads (Pure)
2013
Confluence reduction for Markov automata
Timmer, M., van de Pol, J. & Stoelinga, M., Mar 2013, Proceedings of the 11th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013). Trieste: University of Trieste, p. 18 4 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

Open Access
File
102 Downloads (Pure)
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
79 Downloads (Pure)