Details for the publication Jansen13.

David N. Jansen (): More or Less True DCTL for Continuous-Time MDPs. In Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings, volume 8053 of Lecture Notes in Computer Science, pages 137-151, 2013. DOI BIB