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.