prof. RNDr. Antonín Kučera, Ph.D.
Department head, Institute for Theoretical Computer Science
Office: C438
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 4374 |
---|---|
E‑mail: |
social and academic networks: |
---|
Total number of publications: 150
2013
-
Analyzing probabilistic pushdown automata
Formal Methods in System Design, year: 2013, volume: 43, edition: 2, DOI
-
Approximating the termination value of one-counter MDPs and stochastic games
Information and Computation, year: 2013, volume: 222, edition: January, DOI
-
Continuous-Time Stochastic Games with Time-Bounded Reachability
Information and Computation, year: 2013, volume: 224, edition: 1, DOI
-
Determinacy in Stochastic Games with Unbounded Payoff Functions
Mathematical and Engineering Methods in Computer Science (MEMICS 2012), year: 2013
-
Trading Performance for Stability in Markov Decision Processes
Proceedings of 28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013), year: 2013
2012
-
8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Year: 2012, type:
-
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types
Computer Aided Verification - 24th International Conference, CAV 2012, year: 2012
-
Minimizing Expected Termination Time in One-Counter Markov Decision Processes
Proceedings of 39th International Colloquium on Automata, Languages and Programming (ICALP 2012), year: 2012
-
Playing Games with Counter Automata
Reachability Problems, RP 2012, year: 2012
-
Stochastic game logic
Acta informatica, year: 2012, volume: 49, edition: 4, DOI