Publications
Export 2 results:
Author Title Type [ Year
Filters: Keyword is Markov automata and Author is D. Guck [Clear All Filters]
Modelling and analysis of Markov reward automata. Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, Sydney, NSW, Australia. 8837:168–184.
.
2014.