Concavely-Priced Probabilistic Timed Automata.

Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi

Browse the full CONCUR paper archive.