Alessandro Aldini: Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior.
1-15
Karine Altisen, Yanhong Liu, Matthieu Moy: Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata.
16-33
Ukachukwu Ndukwu, Annabelle McIver: An expectation transformer approach to predicate abstraction and data independence for probabilistic programs.
129-143
Markus Rabe, Sven Schewe: Optimal Time-Abstract Schedulers for CTMDPs and Markov Games.
144-158
data released under the ODC-BY 1.0 license
