Antonín Kucera

ORCID

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 53

Top Venues

CoRR

J. Comput. Syst. Sci.

LICS

AAMAS

Publications

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)
Miroslav Chodil, Antonín Kucera
The General and Finite Satisfiability Problems for PCTL are Undecidable. CoRR (2024)
Miroslav Chodil, Antonín Kucera
The Finite Satisfiability Problem for PCTL is Undecidable. LICS (2024)
Miroslav Chodil, Antonín Kucera
The satisfiability problem for a quantitative fragment of PCTL. J. Comput. Syst. Sci. 139 (2024)
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 (2023)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
Mean Payoff Optimization for Systems of Periodic Service and Maintenance. IJCAI (2023)
Michal Ajdarów, Antonín Kucera
Asymptotic Complexity Estimates for Probabilistic Programs and Their VASS Abstractions. CONCUR (2023)
Michal Ajdarów, Antonín Kucera
Asymptotic Complexity Estimates for Probabilistic Programs and their VASS Abstractions. CoRR (2023)
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)
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 (2023)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
Mean Payoff Optimization for Systems of Periodic Service and Maintenance. CoRR (2023)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
Minimizing Expected Intrusion Detection Time in Adversarial Patrolling. AAMAS (2022)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
Minimizing Expected Intrusion Detection Time in Adversarial Patrolling. CoRR (2022)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
General Optimization Framework for Recurrent Reachability Objectives. CoRR (2022)
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)
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 (2022)
Miroslav Chodil, Antonín Kucera, Jan Kretínský
Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge. Principles of Systems Design (2022)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
General Optimization Framework for Recurrent Reachability Objectives. IJCAI (2022)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games. CoRR (2021)
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) (2021)
Michal Ajdarów, Antonín Kucera
Deciding Polynomial Termination Complexity for VASS Programs. CoRR (2021)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
Regstar: efficient strategy synthesis for adversarial patrolling games. UAI (2021)
Miroslav Chodil, Antonín Kucera
The Satisfiability Problem for a Quantitative Fragment of PCTL. CoRR (2021)
Michal Ajdarów, Antonín Kucera
Deciding Polynomial Termination Complexity for VASS Programs. CONCUR (2021)
Miroslav Chodil, Antonín Kucera
The Satisfiability Problem for a Quantitative Fragment of PCTL. FCT (2021)
Antonín Kucera, Jérôme Leroux, Dominik Velan
Efficient Analysis of VASS Termination Complexity. LICS (2020)
Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kucera, Philipp J. Meyer
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling. CoRR (2020)
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)
David Klaska, Antonín Kucera, Vojtech Rehák
Adversarial Patrolling with Drones. AAMAS (2020)
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) (2019)
Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan
Deciding Fast Termination for Probabilistic VASS with Nondeterminism. CoRR (2019)
Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan
Deciding Fast Termination for Probabilistic VASS with Nondeterminism. ATVA (2019)
Michael Blondin, Javier Esparza, Stefan Jaax, Antonín Kucera
Black Ninjas in the Dark: Formal Analysis of Population Protocols. LICS (2018)
Michael Blondin, Javier Esparza, Antonín Kucera
Automatic Analysis of Expected Termination Time for Population Protocols. CONCUR (2018)
Michael Blondin, Javier Esparza, Antonín Kucera
Automatic Analysis of Expected Termination Time for Population Protocols. CoRR (2018)
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)
Antonín Kucera, Richard Mayr
A generic framework for checking semantic equivalences between pushdown automata and finite-state automata. J. Comput. Syst. Sci. 91 (2018)
Tomás Brázdil, Antonín Kucera, Vojtech Rehák
Solving Patrolling Problems in the Internet Environment. IJCAI (2018)
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 (2018)
Tomás Brázdil, Antonín Kucera, Vojtech Rehák
Synthesizing Efficient Solutions for Patrolling Problems in the Internet Environment. CoRR (2018)
David Klaska, Antonín Kucera, Tomás Lamser, Vojtech Rehák
Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games. AAMAS (2018)
Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan
Efficient Algorithms for Checking Fast Termination in VASS. CoRR (2017)
Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera
Trading performance for stability in Markov decision processes. J. Comput. Syst. Sci. 84 (2017)
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
Synthesis of Optimal Resilient Control Strategies. ATVA (2017)
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)
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. CoRR (2017)
Antonín Kucera, Tomás Lamser
Regular Strategies and Strategy Improvement: Efficient Tools for Solving Large Patrolling Problems. AAMAS (2016)
Tomás Brázdil, Vojtech Forejt, Antonín Kucera, Petr Novotný
Stability in Graphs and Games. CONCUR (2016)
Tomás Brázdil, Antonín Kucera, Petr Novotný
Optimizing the Expected Mean Payoff in Energy Markov Decision Processes. ATVA (2016)
Tomás Brázdil, Vojtech Forejt, Antonín Kucera, Petr Novotný
Stability in Graphs and Games. CoRR (2016)
Lubos Korenciak, Antonín Kucera, Vojtech Rehák
Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration. CoRR (2016)
Lubos Korenciak, Antonín Kucera, Vojtech Rehák
Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration. MASCOTS (2016)
Tomás Brázdil, Antonín Kucera, Petr Novotný
Optimizing the Expected Mean Payoff in Energy Markov Decision Processes. CoRR (2016)
Antonín Kucera
On the Existence and Computability of Long-Run Average Properties in Probabilistic VASS. FCT (2015)
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)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný
Long-Run Average Behaviour of Probabilistic Vector Addition Systems. CoRR (2015)
Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera
MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives. CoRR (2015)
Miroslav Klimos, Antonín Kucera
Cobra: A Tool for Solving General Deductive Games. LPAR (2015)
Tomás Brázdil, Petr Hlinený, Antonín Kucera, Vojtech Rehák, Matús Abaffy
Strategy Synthesis in Adversarial Patrolling Games. CoRR (2015)
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) (2015)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný
Long-Run Average Behaviour of Probabilistic Vector Addition Systems. LICS (2015)
Tomás Brázdil, David Klaska, Antonín Kucera, Petr Novotný
Minimizing Running Costs in Consumption Systems. CoRR (2014)
Miroslav Klimos, Antonín Kucera
Strategy Synthesis for General Deductive Games Based on SAT Solving. CoRR (2014)
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)
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)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera
Efficient Analysis of Probabilistic Programs with an Unbounded Counter. J. ACM 61 (6) (2014)
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) (2014)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný, Joost-Pieter Katoen
Zero-reachability in probabilistic multi-counter automata. CSL-LICS (2014)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný, Joost-Pieter Katoen
Zero-Reachability in Probabilistic Multi-Counter Automata. CoRR (2014)
Tomás Brázdil, David Klaska, Antonín Kucera, Petr Novotný
Minimizing Running Costs in Consumption Systems. CAV (2014)
Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera
Trading Performance for Stability in Markov Decision Processes. LICS (2013)
Antonín Kucera
The Presburger Award 2014 - Call for Nominations. Bull. EATCS 111 (2013)
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 (2013)
Agata Ciabattoni, Rusins Freivalds, Antonín Kucera, Igor Potapov, Stefan Szeider
Preface. Fundam. Informaticae 123 (1) (2013)
Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera
Trading Performance for Stability in Markov Decision Processes CoRR (2013)
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 (2013)
Tomás Brázdil, Javier Esparza, Stefan Kiefer, Antonín Kucera
Analyzing probabilistic pushdown automata. Formal Methods Syst. Des. 43 (2) (2013)
Tomás Brázdil, Antonín Kucera, Petr Novotný
Determinacy in Stochastic Games with Unbounded Payoff Functions. MEMICS (2012)
Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types. CAV (2012)
Petr Hlinený, Antonín Kucera
Preface. Theor. Comput. Sci. 417 (2012)
Christel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera
Stochastic game logic. Acta Informatica 49 (4) (2012)
Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types CoRR (2012)
Tomás Brázdil, Antonín Kucera, Petr Novotný, Dominik Wojtczak
Minimizing Expected Termination Time in One-Counter Markov Decision Processes. ICALP (2) (2012)
Antonín Kucera
Playing Games with Counter Automata. RP (2012)
Tomás Brázdil, Antonín Kucera, Petr Novotný
Determinacy in Stochastic Games with Unbounded Payoff Functions CoRR (2012)
Tomás Brázdil, Antonín Kucera, Petr Novotný, Dominik Wojtczak
Minimizing Expected Termination Time in One-Counter Markov Decision Processes CoRR (2012)
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 (2011)
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)
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)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková
Runtime Analysis of Probabilistic Programs with Unbounded Recursion. ICALP (2) (2011)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera
Efficient Analysis of Probabilistic Programs with an Unbounded Counter. CAV (2011)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera
Efficient Analysis of Probabilistic Programs with an Unbounded Counter CoRR (2011)
Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek
Qualitative reachability in stochastic BPA games. Inf. Comput. 209 (8) (2011)
Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera
Approximating the Termination Value of One-Counter MDPs and Stochastic Games CoRR (2011)
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)
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)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková
Runtime Analysis of Probabilistic Programs with Unbounded Recursion CoRR (2010)
Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak
One-Counter Markov Decision Processes. SODA (2010)
Tomás Brázdil, Petr Jancar, Antonín Kucera
Reachability Games on Extended Vector Addition Systems with States. ICALP (2) (2010)
Tomás Brázdil, Petr Jancar, Antonín Kucera
Reachability Games on Extended Vector Addition Systems with States CoRR (2010)

Antonín Kucera.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Antonín Kucera