activity
20112026
most citedPAC Statistical Model Checking for Markov Decision Processes and Stochastic Games

51 citations · 366 across the 55 of their papers we have counts for

collaborators
Showing 2011Show all

2 papers · 1 filter

eess.SY2011★ 1 cited

Fixed-delay Events in Generalized Semi-Markov Processes Revisited

Tomáš Brázdil, Jan Krčál, Jan Křetínský +1

We study long run average behavior of generalized semi-Markov processes with both fixed-delay events as well as variable-delay events. We show that allowing two fixed-delay events…

eess.SY2011★ 2 cited

Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata

Tomáš Brázdil, Jan Krčál, Jan Křetínský +2

We propose deterministic timed automata (DTA) as a model-independent language for specifying performance and dependability measures over continuous-time stochastic processes. Techn…