Details for the publication FuLL18.

Hongfei Fu (), Yi Li, Jianlin Li (): Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties. In Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, volume 11024 of Lecture Notes in Computer Science, pages 122-139, 2018. DOI BIB