dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Antonín Kucera (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný: Efficient Controller Synthesis for Consumption Games with Multiple Resource Types. CAV 2012: 23-38
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomá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
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera: Stochastic game logic. Acta Inf. 49(4): 203-224 (2012)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomá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)
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomá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)
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Antonín Kucera, Petr Novotný: Determinacy in Stochastic Games with Unbounded Payoff Functions CoRR abs/1208.1639: (2012)
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Stefan Kiefer, Antonín Kucera: Efficient Analysis of Probabilistic Programs with an Unbounded Counter. CAV 2011: 208-224
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomá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
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková: Runtime Analysis of Probabilistic Programs with Unbounded Recursion. ICALP (2) 2011: 319-331
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomá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
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomá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
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomá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)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Stefan Kiefer, Antonín Kucera: Efficient Analysis of Probabilistic Programs with an Unbounded Counter CoRR abs/1102.2529: (2011)
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera: Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes CoRR abs/1104.3489: (2011)
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomá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)
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomá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)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomá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
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Petr Jancar, Antonín Kucera: Reachability Games on Extended Vector Addition Systems with States. ICALP (2) 2010: 478-489
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak: One-Counter Markov Decision Processes. SODA 2010: 863-874
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Petr Jancar, Antonín Kucera: Reachability Games on Extended Vector Addition Systems with States CoRR abs/1002.2557: (2010)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek: Qualitative Reachability in Stochastic BPA Games CoRR abs/1003.0118: (2010)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková: Runtime Analysis of Probabilistic Programs with Unbounded Recursion CoRR abs/1007.1710: (2010)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomá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
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek: Qualitative Reachability in Stochastic BPA Games. STACS 2009: 207-218
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak: One-Counter Markov Decision Processes CoRR abs/0904.2511: (2009)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Vojtech Forejt, Antonín Kucera: Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. ICALP (2) 2008: 148-159
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Vojtech Forejt, Jan Kretínský, Antonín Kucera: The Satisfiability Problem for Probabilistic CTL. LICS 2008: 391-402
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Václav Brozek, Jan Holecek, Antonín Kucera: Discounted Properties of Probabilistic Pushdown Automata. LPAR 2008: 230-242
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Antonín Kucera, Oldrich Strazovský: Deciding probabilistic bisimilarity over infinite-state probabilistic systems. Acta Inf. 45(2): 131-154 (2008)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera: Reachability in recursive Markov decision processes. Inf. Comput. 206(5): 520-537 (2008)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera: Stochastic Game Logic. QEST 2007: 227-236
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera: Reachability in Recursive Markov Decision Processes. CONCUR 2006: 358-374
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera: Stochastic Games with Branching-Time Winning Objectives. LICS 2006: 349-358
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Javier Esparza, Antonín Kucera: Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion (Extended Abstract). FOCS 2005: 521-530
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Antonín Kucera: Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains. FSTTCS 2005: 372-383
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Antonín Kucera, Oldrich Strazovský: On the Decidability of Temporal Properties of Probabilistic Pushdown Automata. STACS 2005: 145-157
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Brázdil, Antonín Kucera, Oldrich Strazovský: Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems. CONCUR 2004: 193-208

Selection of 37 from 100 records - Antonín Kucera has 42 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page