prof. RNDr. Antonín Kučera, Ph.D.
vedoucí pracoviště – Institut teoretické informatiky
kancelář: C438
Botanická 554/68a
602 00 Brno
telefon: | 549 49 4374 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
Počet publikací: 150
2013
-
Analyzing probabilistic pushdown automata
Formal Methods in System Design, rok: 2013, ročník: 43, vydání: 2, DOI
-
Approximating the termination value of one-counter MDPs and stochastic games
Information and Computation, rok: 2013, ročník: 222, vydání: January, DOI
-
Continuous-Time Stochastic Games with Time-Bounded Reachability
Information and Computation, rok: 2013, ročník: 224, vydání: 1, DOI
-
Determinacy in Stochastic Games with Unbounded Payoff Functions
Mathematical and Engineering Methods in Computer Science (MEMICS 2012), rok: 2013
-
Trading Performance for Stability in Markov Decision Processes
Proceedings of 28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013), rok: 2013
2012
-
8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Rok: 2012, druh: Editorství tématického sborníku
-
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types
Computer Aided Verification - 24th International Conference, CAV 2012, rok: 2012
-
Minimizing Expected Termination Time in One-Counter Markov Decision Processes
Proceedings of 39th International Colloquium on Automata, Languages and Programming (ICALP 2012), rok: 2012
-
Playing Games with Counter Automata
Reachability Problems, RP 2012, rok: 2012
-
Stochastic game logic
Acta informatica, rok: 2012, ročník: 49, vydání: 4, DOI