Tight Game Abstractions of Probabilistic Automata
| Title | Tight Game Abstractions of Probabilistic Automata |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Sher, F, Katoen, J-P |
| Conference Name | Concurrency Theory (CONCUR) |
| Publisher | Springer |
Work Package:
WP1
