| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Petr Hlinený, Antonín Kucera |
Preface.  |
Theor. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný |
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Antonín Kucera, André Nies |
Demuth's Path to Randomness. |
Computation, Physics and Beyond |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek |
Qualitative reachability in stochastic BPA games. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera, André Nies |
Demuth randomness and computational complexity. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Stefan Kiefer, Antonín Kucera |
Efficient Analysis of Probabilistic Programs with an Unbounded Counter |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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 |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera |
Approximating the Termination Value of One-Counter MDPs and Stochastic Games. |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková |
Runtime Analysis of Probabilistic Programs with Unbounded Recursion. |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Stefan Kiefer, Antonín Kucera |
Efficient Analysis of Probabilistic Programs with an Unbounded Counter. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera, Richard Mayr |
On the complexity of checking semantic equivalences between pushdown processes and finite-state processes. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek |
Qualitative Reachability in Stochastic BPA Games |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Tomás Brázdil, Petr Jancar, Antonín Kucera |
Reachability Games on Extended Vector Addition Systems with States |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková |
Runtime Analysis of Probabilistic Programs with Unbounded Recursion |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Antonín Kucera |
Effective Analysis of Infinite State Stochastic Processes Games. |
Logics and Languages for Reliability and Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak |
One-Counter Markov Decision Processes. |
SODA |
2010 |
DBLP BibTeX RDF |
|
| 1 | Tomás Brázdil, Petr Jancar, Antonín Kucera |
Reachability Games on Extended Vector Addition Systems with States. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hlinený, Antonín Kucera (eds.) |
Mathematical Foundations of Computer Science 2010, 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings |
MFCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera, Igor Potapov (eds.) |
Reachability Problems, 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings |
RP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera, Theodore A. Slaman |
Low upper bounds of ideals. |
J. Symb. Log. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak |
One-Counter Markov Decision Processes |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek |
Qualitative Reachability in Stochastic BPA Games. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Antonín Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank D. Valencia (eds.) |
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 |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Antonín Kucera, Oldrich Strazovský |
Deciding probabilistic bisimilarity over infinite-state probabilistic systems. |
Acta Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera |
Reachability in recursive Markov decision processes. |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera, Oldrich Strazovský |
On the Controller Synthesis for Finite-State Markov Decision Processes. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Jan Holecek, Antonín Kucera |
Discounted Properties of Probabilistic Pushdown Automata. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Vojtech Forejt, Antonín Kucera |
Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. |
ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Vojtech Forejt, Jan Kretínský, Antonín Kucera |
The Satisfiability Problem for Probabilistic CTL. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
temporal logics, Markov chains |
| 1 | Ludek Kucera, Antonín Kucera (eds.) |
Mathematical Foundations of Computer Science 2007, 32nd International Symposium, MFCS 2007, Ceský Krumlov, Czech Republic, August 26-31, 2007, Proceedings |
MFCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Christel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera |
Stochastic Game Logic. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera, Ph. Schnoebelen |
A general approach to comparing infinite-state systems with their finite-state specifications. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera, Javier Esparza, Richard Mayr |
Model Checking Probabilistic Pushdown Automata. |
Logical Methods in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera |
Methods for Quantitative Analysis of Probabilistic Pushdown Automata. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera, Petr Jancar |
Equivalence-checking on infinite-state systems: Techniques and results. |
TPLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera |
Reachability in Recursive Markov Decision Processes. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera |
Stochastic Games with Branching-Time Winning Objectives. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera, Jan Strejcek |
The stuttering principle revisited. |
Acta Inf. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Antonín Kucera, Richard Mayr |
Model Checking Probabilistic Pushdown Automata |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Antonín Kucera, Petr Jancar |
Equivalence-Checking on Infinite-State Systems: Techniques and Results |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Tomás Brázdil, Antonín Kucera, Oldrich Strazovský |
On the Decidability of Temporal Properties of Probabilistic Pushdown Automata. |
STACS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Antonín Kucera, Richard Mayr |
Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomá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 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera, Jan Strejcek |
Characteristic Patterns for LTL. |
SOFSEM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera, Oldrich Strazovský |
On the Controller Synthesis for Finite-State Markov Decision Processes. |
FSTTCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Antonín Kucera |
Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains. |
FSTTCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Jancar, Antonín Kucera, Faron Moller, Zdenek Sawa |
DP lower bounds for equivalence-checking and model-checking of one-counter automata. |
Inf. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera, Ph. Schnoebelen |
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Antonín Kucera, Oldrich Strazovský |
Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera, Richard Mayr |
A Generic Framework for Checking Semantic Equivalences between Pushdown Automata and Finite-State Automata. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Javier Esparza, Antonín Kucera, Richard Mayr |
Model Checking Probabilistic Pushdown Automata. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera |
The complexity of bisimilarity-checking for one-counter processes. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Antonín Kucera, Stefan Schwoon |
Model checking LTL with regular valuations for pushdown systems. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera, Javier Esparza |
A Logical Viewpoint on Process-algebraic Quotients. |
J. Log. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Jancar, Antonín Kucera, Faron Moller |
Deciding Bisimilarity between BPA and BPP Processes. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Batusek, Ivan Kopecek, Antonín Kucera |
On Homogeneous Segments. |
TSD |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera, Richard Mayr |
Weak bisimilarity between finite-state systems and BPA or normed BPP is decidable in polynomial time. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera, Richard Mayr |
Simulation Preorder over Simple Process Algebras. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera, Richard Mayr |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Petr Jancar, Mojmír Kretínský, Antonín Kucera (eds.) |
CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings |
CONCUR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Antonín Kucera, Richard Mayr |
Why Is Simulation Harder than Bisimulation? |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera, Richard Mayr |
On the Complexity of Semantic Equivalences for Pushdown Automata and BPA. |
MFCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera, Petr Jancar |
Equivalence-Checking with Infinite-State Systems: Techniques and Results. |
SOFSEM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera, Jan Strejcek |
The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Jancar, Antonín Kucera, Faron Moller, Zdenek Sawa |
Equivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds. |
FoSSaCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Jancar, Antonín Kucera, Richard Mayr |
Deciding bisimulation-like equivalences with finite-state processes. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera, Theodore A. Slaman |
Randomness and Recursive Enumerability. |
SIAM J. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Antonín Kucera, Stefan Schwoon |
Model-Checking LTL with Regular Valuations for Pushdown Systems. |
TACS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera |
Effective decomposability of sequential behaviours. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera |
Efficient Verification Algorithms for One-Counter Processes. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Jancar, Antonín Kucera, Faron Moller |
Simulation and Bisimulation over One-Counter Processes. |
STACS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera |
On Simulation-Checking with Sequential Systems. |
ASIAN |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera |
On Finite Representations of Infinite-State Behaviours. |
Inf. Process. Lett. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera |
Regularity of Normed PA Processes. |
Inf. Process. Lett. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivana Cerná, Mojmír Kretínský, Antonín Kucera |
Comparing Expressibility of Normed BPA and Normed BPP Processes. |
Acta Inf. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera, Sebastiaan Terwijn |
Lowness for The Class of Random Sets. |
J. Symb. Log. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Antonín Kucera, Richard Mayr |
Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera, Richard Mayr |
Simulation Preorder on Simple Process Algebras. |
ICALP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera, Javier Esparza |
A Logical Viewpoint on Process-Algebraic Quotients. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Jancar, Antonín Kucera, Richard Mayr |
Deciding Bisimulation-Like Equivalences with Finite-State Processes. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Jancar, Antonín Kucera |
Bisimilarity of processes with finite-state systems. |
Electr. Notes Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera |
How to Parallelize Sequential Processes. |
CONCUR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera |
On Finite Representations of Infinite-State Behaviours. |
SOFSEM |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivana Cerná, Mojmír Kretínský, Antonín Kucera |
Bisimilarity is decidable in the union of normed BPA and normed BPP processes. |
Electr. Notes Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera |
Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time. |
SOFSEM |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera |
Regularity is Decidable for Normed PA Processes in Polynomial Time. |
FSTTCS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera |
On Relative Randomness. |
Ann. Pure Appl. Logic |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek, Antonín Kucera |
On Recursion Theory in I Sigma1. |
J. Symb. Log. |
1989 |
DBLP BibTeX RDF |
|
| 1 | Antonín Kucera |
An Alternative, Priority-Free, Solution to Post's Problem. |
MFCS |
1986 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")