default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAntonín Kucera 0001
Person information
- affiliation: Masaryk University, Brno, Czech Republic
Other persons with the same name
- Antonín Kucera 0002
![[0000-0003-4043-7218]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0003-4043-7218")
— Charles University, Faculty of Mathematics and Physics, Prague, Czech Republic
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j37]Miroslav Chodil, Antonín Kucera:
The satisfiability problem for a quantitative fragment of PCTL. J. Comput. Syst. Sci. 139: 103478 (2024)- [c89]David Klaska, Antonín Kucera, Vojtech Kur, Vít Musil, Vojtech Rehák:
Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes. AAAI 2024: 20143-20150 - [c88]Miroslav Chodil, Antonín Kucera:
The Finite Satisfiability Problem for PCTL is Undecidable. LICS 2024: 22:1-22:14 - [c87]Antonín Kucera:
The Satisfiability and Validity Problems for Probabilistic CTL. RP 2024: 9-18 - [e9]Stefan Kiefer, Jan Kretínský, Antonín Kucera:
Taming the Infinities of Concurrency - Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 14660, Springer 2024, ISBN 978-3-031-56221-1 [contents] - [e8]Rastislav Královic, Antonín Kucera:
49th International Symposium on Mathematical Foundations of Computer Science, MFCS 2024, August 26-30, 2024, Bratislava, Slovakia. LIPIcs 306, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-335-5 [contents] - [i40]Miroslav Chodil, Antonín Kucera:
The General and Finite Satisfiability Problems for PCTL are Undecidable. CoRR abs/2404.10648 (2024) - 2023
- [c86]Michal Ajdarów, Antonín Kucera:
Asymptotic Complexity Estimates for Probabilistic Programs and Their VASS Abstractions. CONCUR 2023: 12:1-12:16 - [c85]David Klaska, Antonín Kucera, Martin Kurecka, Vít Musil, Petr Novotný, Vojtech Rehák:
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems. IJCAI 2023: 171-179 - [c84]David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák:
Mean Payoff Optimization for Systems of Periodic Service and Maintenance. IJCAI 2023: 5386-5393 - [i39]David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák:
Mean Payoff Optimization for Systems of Periodic Service and Maintenance. CoRR abs/2305.08555 (2023) - [i38]David Klaska, Antonín Kucera, Martin Kurecka, Vít Musil, Petr Novotný, Vojtech Rehák:
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems. CoRR abs/2305.10070 (2023) - [i37]Michal Ajdarów, Antonín Kucera:
Asymptotic Complexity Estimates for Probabilistic Programs and their VASS Abstractions. CoRR abs/2307.04707 (2023) - [i36]David Klaska, Antonín Kucera, Vojtech Kur, Vít Musil, Vojtech Rehák:
Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes. CoRR abs/2312.12325 (2023) - 2022
- [c83]David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák:
Minimizing Expected Intrusion Detection Time in Adversarial Patrolling. AAMAS 2022: 1660-1662 - [c82]Miroslav Chodil, Antonín Kucera, Jan Kretínský:
Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge. Principles of Systems Design 2022: 364-387 - [c81]David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák:
General Optimization Framework for Recurrent Reachability Objectives. IJCAI 2022: 4642-4648 - [c80]Tomás Brázdil, David Klaska, Antonín Kucera, Vít Musil, Petr Novotný, Vojtech Rehák:
On-the-fly adaptation of patrolling strategies in changing environments. UAI 2022: 244-254 - [i35]David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák:
Minimizing Expected Intrusion Detection Time in Adversarial Patrolling. CoRR abs/2202.01095 (2022) - [i34]David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák:
General Optimization Framework for Recurrent Reachability Objectives. CoRR abs/2205.14057 (2022) - [i33]Tomás Brázdil, David Klaska, Antonín Kucera, Vít Musil, Petr Novotný, Vojtech Rehák:
On-the-fly Adaptation of Patrolling Strategies in Changing Environments. CoRR abs/2206.08096 (2022) - 2021
- [j36]Antonín Kucera:
Algorithmic analysis of termination and counter complexity in vector addition systems with states: a survey of recent results. ACM SIGLOG News 8(4): 4-21 (2021) - [c79]Michal Ajdarów, Antonín Kucera:
Deciding Polynomial Termination Complexity for VASS Programs. CONCUR 2021: 30:1-30:15 - [c78]Miroslav Chodil, Antonín Kucera:
The Satisfiability Problem for a Quantitative Fragment of PCTL. FCT 2021: 149-161 - [c77]David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák:
Regstar: efficient strategy synthesis for adversarial patrolling games. UAI 2021: 471-481 - [i32]Michal Ajdarów, Antonín Kucera:
Deciding Polynomial Termination Complexity for VASS Programs. CoRR abs/2102.06889 (2021) - [i31]Miroslav Chodil, Antonín Kucera:
The Satisfiability Problem for a Quantitative Fragment of PCTL. CoRR abs/2107.03794 (2021) - [i30]David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák:
Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games. CoRR abs/2108.08950 (2021) - 2020
- [c76]David Klaska, Antonín Kucera, Vojtech Rehák:
Adversarial Patrolling with Drones. AAMAS 2020: 629-637 - [c75]Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kucera, Philipp J. Meyer:
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling. CAV (2) 2020: 372-397 - [c74]Antonín Kucera, Jérôme Leroux, Dominik Velan:
Efficient Analysis of VASS Termination Complexity. LICS 2020: 676-688 - [i29]Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kucera, Philipp J. Meyer:
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling. CoRR abs/2005.03555 (2020)
2010 – 2019
- 2019
- [j35]Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák:
Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms. ACM Trans. Model. Comput. Simul. 29(4): 28:1-28:26 (2019) - [c73]Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan:
Deciding Fast Termination for Probabilistic VASS with Nondeterminism. ATVA 2019: 462-478 - [i28]Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan:
Deciding Fast Termination for Probabilistic VASS with Nondeterminism. CoRR abs/1907.11010 (2019) - 2018
- [j34]Antonín Kucera, Richard Mayr:
A generic framework for checking semantic equivalences between pushdown automata and finite-state automata. J. Comput. Syst. Sci. 91: 82-103 (2018) - [c72]David Klaska, Antonín Kucera, Tomás Lamser, Vojtech Rehák:
Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games. AAMAS 2018: 659-666 - [c71]Michael Blondin, Javier Esparza, Antonín Kucera:
Automatic Analysis of Expected Termination Time for Population Protocols. CONCUR 2018: 33:1-33:16 - [c70]Tomás Brázdil, Antonín Kucera, Vojtech Rehák:
Solving Patrolling Problems in the Internet Environment. IJCAI 2018: 121-127 - [c69]Michael Blondin, Javier Esparza, Stefan Jaax, Antonín Kucera:
Black Ninjas in the Dark: Formal Analysis of Population Protocols. LICS 2018: 1-10 - [c68]Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan, Florian Zuleger:
Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. LICS 2018: 185-194 - [i27]Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan, Florian Zuleger:
Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. CoRR abs/1804.10985 (2018) - [i26]Tomás Brázdil, Antonín Kucera, Vojtech Rehák:
Synthesizing Efficient Solutions for Patrolling Problems in the Internet Environment. CoRR abs/1805.02861 (2018) - [i25]Michael Blondin, Javier Esparza, Antonín Kucera:
Automatic Analysis of Expected Termination Time for Population Protocols. CoRR abs/1807.00331 (2018) - 2017
- [j33]Paul G. Spirakis, Leslie Ann Goldberg, Antonín Kucera, Giuseppe Persiano:
Statement from EATCS President and vice Presidents about the recent US travel restrictions to foreigners. Bull. EATCS 121 (2017) - [j32]Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera:
Trading performance for stability in Markov decision processes. J. Comput. Syst. Sci. 84: 144-170 (2017) - [c67]Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák:
Synthesis of Optimal Resilient Control Strategies. ATVA 2017: 417-434 - [c66]Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák:
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. QEST 2017: 190-206 - [i24]Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák:
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. CoRR abs/1706.06486 (2017) - [i23]Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan:
Efficient Algorithms for Checking Fast Termination in VASS. CoRR abs/1708.09253 (2017) - 2016
- [c65]Antonín Kucera, Tomás Lamser:
Regular Strategies and Strategy Improvement: Efficient Tools for Solving Large Patrolling Problems. AAMAS 2016: 1171-1179 - [c64]Tomás Brázdil, Antonín Kucera, Petr Novotný:
Optimizing the Expected Mean Payoff in Energy Markov Decision Processes. ATVA 2016: 32-49 - [c63]Tomás Brázdil, Vojtech Forejt, Antonín Kucera, Petr Novotný:
Stability in Graphs and Games. CONCUR 2016: 10:1-10:14 - [c62]Lubos Korenciak, Antonín Kucera, Vojtech Rehák:
Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration. MASCOTS 2016: 367-372 - [i22]Tomás Brázdil, Vojtech Forejt, Antonín Kucera, Petr Novotný:
Stability in Graphs and Games. CoRR abs/1604.06386 (2016) - [i21]Lubos Korenciak, Antonín Kucera, Vojtech Rehák:
Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration. CoRR abs/1607.00372 (2016) - [i20]Tomás Brázdil, Antonín Kucera, Petr Novotný:
Optimizing the Expected Mean Payoff in Energy Markov Decision Processes. CoRR abs/1607.00678 (2016) - 2015
- [j31]Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková:
Runtime analysis of probabilistic programs with unbounded recursion. J. Comput. Syst. Sci. 81(1): 288-310 (2015) - [c61]Antonín Kucera:
On the Existence and Computability of Long-Run Average Properties in Probabilistic VASS. FCT 2015: 12-24 - [c60]Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný:
Long-Run Average Behaviour of Probabilistic Vector Addition Systems. LICS 2015: 44-55 - [c59]Miroslav Klimos, Antonín Kucera:
Cobra: A Tool for Solving General Deductive Games. LPAR 2015: 31-47 - [c58]Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera:
MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives. TACAS 2015: 181-187 - [i19]Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera:
MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives. CoRR abs/1501.03093 (2015) - [i18]Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný:
Long-Run Average Behaviour of Probabilistic Vector Addition Systems. CoRR abs/1505.02655 (2015) - [i17]Tomás Brázdil, Petr Hlinený, Antonín Kucera, Vojtech Rehák, Matús Abaffy:
Strategy Synthesis in Adversarial Patrolling Games. CoRR abs/1507.03407 (2015) - 2014
- [j30]Tomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera:
Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. Log. Methods Comput. Sci. 10(1) (2014) - [j29]Tomás Brázdil, Stefan Kiefer, Antonín Kucera:
Efficient Analysis of Probabilistic Programs with an Unbounded Counter. J. ACM 61(6): 41:1-41:35 (2014) - [j28]Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera:
Branching-time model-checking of probabilistic pushdown automata. J. Comput. Syst. Sci. 80(1): 139-156 (2014) - [c57]Michal Abaffy, Tomás Brázdil, Vojtech Rehák, Branislav Bosanský, Antonín Kucera, Jan Krcál:
Solving adversarial patrolling games with bounded error: (extended abstract). AAMAS 2014: 1617-1618 - [c56]Tomás Brázdil, David Klaska, Antonín Kucera, Petr Novotný:
Minimizing Running Costs in Consumption Systems. CAV 2014: 457-472 - [c55]Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný, Joost-Pieter Katoen:
Zero-reachability in probabilistic multi-counter automata. CSL-LICS 2014: 22:1-22:10 - [i16]Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný, Joost-Pieter Katoen:
Zero-Reachability in Probabilistic Multi-Counter Automata. CoRR abs/1401.6840 (2014) - [i15]Tomás Brázdil, David Klaska, Antonín Kucera, Petr Novotný:
Minimizing Running Costs in Consumption Systems. CoRR abs/1402.4995 (2014) - [i14]Miroslav Klimos, Antonín Kucera:
Strategy Synthesis for General Deductive Games Based on SAT Solving. CoRR abs/1407.3926 (2014) - 2013
- [j27]Antonín Kucera:
The Presburger Award 2014 - Call for Nominations. Bull. EATCS 111 (2013) - [j26]Tomás Brázdil, Javier Esparza, Stefan Kiefer, Antonín Kucera:
Analyzing probabilistic pushdown automata. Formal Methods Syst. Des. 43(2): 124-163 (2013) - [j25]Agata Ciabattoni, Rusins Freivalds, Antonín Kucera, Igor Potapov, Stefan Szeider:
Preface. Fundam. Informaticae 123(1) (2013) - [j24]Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera:
Approximating the termination value of one-counter MDPs and stochastic games. Inf. Comput. 222: 121-138 (2013) - [j23]Tomás Brázdil, Vojtech Forejt, Jan Krcál, Jan Kretínský, Antonín Kucera:
Continuous-time stochastic games with time-bounded reachability. Inf. Comput. 224: 46-70 (2013) - [c54]Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera:
Trading Performance for Stability in Markov Decision Processes. LICS 2013: 331-340 - [e7]Antonín Kucera, Thomas A. Henzinger, Jaroslav Nesetril, Tomás Vojnar, David Antos:
Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7721, Springer 2013, ISBN 978-3-642-36044-2 [contents] - [i13]Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera:
Trading Performance for Stability in Markov Decision Processes. CoRR abs/1305.4103 (2013) - 2012
- [j22]Christel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera:
Stochastic game logic. Acta Informatica 49(4): 203-224 (2012) - [j21]Petr Hlinený, Antonín Kucera:
Preface. Theor. Comput. Sci. 417: 1 (2012) - [c53]Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný:
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types. CAV 2012: 23-38 - [c52]Tomás Brázdil, Antonín Kucera, Petr Novotný, Dominik Wojtczak:
Minimizing Expected Termination Time in One-Counter Markov Decision Processes. ICALP (2) 2012: 141-152 - [c51]Tomás Brázdil, Antonín Kucera, Petr Novotný:
Determinacy in Stochastic Games with Unbounded Payoff Functions. MEMICS 2012: 94-105 - [c50]Antonín Kucera:
Playing Games with Counter Automata. RP 2012: 29-41 - [i12]Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný:
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types. CoRR abs/1202.0796 (2012) - [i11]Tomás Brázdil, Antonín Kucera, Petr Novotný, Dominik Wojtczak:
Minimizing Expected Termination Time in One-Counter Markov Decision Processes. CoRR abs/1205.1473 (2012) - [i10]Tomás Brázdil, Antonín Kucera, Petr Novotný:
Determinacy in Stochastic Games with Unbounded Payoff Functions. CoRR abs/1208.1639 (2012) - 2011
- [j20]Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek:
Qualitative reachability in stochastic BPA games. Inf. Comput. 209(8): 1160-1183 (2011) - [c49]Tomás Brázdil, Stefan Kiefer, Antonín Kucera:
Efficient Analysis of Probabilistic Programs with an Unbounded Counter. CAV 2011: 208-224 - [c48]Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák:
Measuring performance of continuous-time stochastic processes using timed automata. HSCC 2011: 33-42 - [c47]Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková:
Runtime Analysis of Probabilistic Programs with Unbounded Recursion. ICALP (2) 2011: 319-331 - [c46]Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera:
Approximating the Termination Value of One-Counter MDPs and Stochastic Games. ICALP (2) 2011: 332-343 - [c45]Tomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera:
Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. LICS 2011: 33-42 - [p2]Antonín Kucera:
Turn-based stochastic games. Lectures in Game Theory for Computer Scientists 2011: 146-184 - [i9]Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák:
Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata. CoRR abs/1101.4204 (2011) - [i8]Tomás Brázdil, Stefan Kiefer, Antonín Kucera:
Efficient Analysis of Probabilistic Programs with an Unbounded Counter. CoRR abs/1102.2529 (2011) - [i7]Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera:
Approximating the Termination Value of One-Counter MDPs and Stochastic Games. CoRR abs/1104.4978 (2011) - 2010
- [j19]Antonín Kucera, Richard Mayr:
On the complexity of checking semantic equivalences between pushdown processes and finite-state processes. Inf. Comput. 208(7): 772-796 (2010) - [c44]Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák:
Stochastic Real-Time Games with Qualitative Timed Automata Objectives. CONCUR 2010: 207-221 - [c43]Tomás Brázdil, Petr Jancar, Antonín Kucera:
Reachability Games on Extended Vector Addition Systems with States. ICALP (2) 2010: 478-489 - [c42]Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak:
One-Counter Markov Decision Processes. SODA 2010: 863-874 - [p1]Antonín Kucera:
Effective Analysis of Infinite State Stochastic Processes Games. Logics and Languages for Reliability and Security 2010: 155-178 - [e6]Petr Hlinený, Antonín Kucera:
Mathematical Foundations of Computer Science 2010, 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings. Lecture Notes in Computer Science 6281, Springer 2010, ISBN 978-3-642-15154-5 [contents] - [e5]Antonín Kucera, Igor Potapov:
Reachability Problems, 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings. Lecture Notes in Computer Science 6227, Springer 2010, ISBN 978-3-642-15348-8 [contents] - [i6]Tomás Brázdil, Petr Jancar, Antonín Kucera:
Reachability Games on Extended Vector Addition Systems with States. CoRR abs/1002.2557 (2010) - [i5]Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek:
Qualitative Reachability in Stochastic BPA Games. CoRR abs/1003.0118 (2010) - [i4]Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková:
Runtime Analysis of Probabilistic Programs with Unbounded Recursion. CoRR abs/1007.1710 (2010)
2000 – 2009
- 2009
- [c41]Tomás Brázdil, Vojtech Forejt, Jan Krcál, Jan Kretínský, Antonín Kucera:
Continuous-Time Stochastic Games with Time-Bounded Reachability. FSTTCS 2009: 61-72 - [c40]Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek:
Qualitative Reachability in Stochastic BPA Games. STACS 2009: 207-218 - [e4]Mogens Nielsen, Antonín Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank D. Valencia:
SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings. Lecture Notes in Computer Science 5404, Springer 2009, ISBN 978-3-540-95890-1 [contents] - [i3]Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak:
One-Counter Markov Decision Processes. CoRR abs/0904.2511 (2009) - 2008
- [j18]Tomás Brázdil, Antonín Kucera, Oldrich Strazovský:
Deciding probabilistic bisimilarity over infinite-state probabilistic systems. Acta Informatica 45(2): 131-154 (2008) - [j17]Antonín Kucera, Oldrich Strazovský:
On the Controller Synthesis for Finite-State Markov Decision Processes. Fundam. Informaticae 82(1-2): 141-153 (2008) - [j16]Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera: