On Frequency {LTL} in Probabilistic Systems
| Title | On Frequency {LTL} in Probabilistic Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Forejt, V, Krčál, J |
| Conference Name | 26th International Conference on Concurrency Theory, {CONCUR} 2015, Madrid, Spain, September 1.4, 2015 |
| URL | http://dx.doi.org/10.4230/LIPIcs.CONCUR.2015.184 |
| DOI | 10.4230/LIPIcs.CONCUR.2015.184 |
Work Package:
WP1
