Publications

Export 2 results:
Author Title [ Type(Asc)] Year
Filters: Keyword is rewards  [Clear All Filters]
Thesis
Guck D..  2017.  Reliable systems - Fault tree analysis via Markov reward automata.
Conference Paper
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.