Publications
Filters: Author is Sven Johr [Clear All Filters]
, “A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes”, in Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, 2006, vol. LNCS 4202, pp. 352-367.