Publications

Export 4 results:
[ Author(Desc)] Title Type Year
Filters: Keyword is Markov automata  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
G
Guck D..  2017.  Reliable systems - Fault tree analysis via Markov reward automata.
Guck D., Timmer M., Hatefi H., Ruijters E.JJ, Stoelinga M.IA.  2014.  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.
T
Timmer M., van de Pol J.C, Stoelinga M.IA.  2013.  Confluence reduction for Markov automata (extended version).
Timmer M., van de Pol J.C, Stoelinga M.IA.  2013.  Confluence Reduction for Markov Automata. Proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Buenos Aires, Argentina. 8053:243–257.