Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. by Brázdil, T, Forejt, V, Kucera, A

The boundary integral method applied to underwater explosion bubble dynamics / by 392688 Best, J. P., Kucera, A.

Reachability in recursive Markov decision processes. by Brázdil, T, Brozek, V, Forejt, V, Kucera, A

Trading Performance for Stability in Markov Decision Processes by Brázdil, T, Chatterjee, K, Forejt, V, Kučera, A

The Satisfiability Problem for Probabilistic CTL. by Brázdil, T, Forejt, V, Kretínský, J, Kucera, A

Trading performance for stability in Markov decision processes by Brazdil, T, Chatterjee, K, Forejt, V, Kucera, A

Stability in graphs and games by Brázdil, T, Forejt, V, Kučera, A, Novotný, P

Continuous-Time Stochastic Games with Time-Bounded Reachability. by Brázdil, T, Forejt, V, Krcál, J, Kretínský, J, Kucera, A

Markov Decision Processes with Multiple Long-run Average Objectives by Brázdil, T, Brožek, V, Chatterjee, K, Forejt, V, Kučera, A

Quicksort and Large Deviations. by McDiarmid, C

Other Authors: “…Kucera, A…”