Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata.

Pedro R. D'Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards

Browse the full IFM paper archive.