Follow
Antonín Kučera
Antonín Kučera
Verified email at mbox.ms.mff.cuni.cz
Title
Cited by
Cited by
Year
Measure, Π0 1-classes and complete extensions of PA
A Kucera
Recursion theory week (Oberwolfach, 1984) 1141, 245-259, 1985
289*1985
Model checking LTL with regular valuations for pushdown systems
J Esparza, A Kučera, S Schwoon
Information and Computation 186 (2), 355-376, 2003
1492003
Reachability games on extended vector addition systems with states
T Brázdil, P Jančar, A Kučera
Automata, Languages and Programming: 37th International Colloquium, ICALP …, 2010
1162010
An alternative, priority-free, solution to Post's problem
A Kučera
International Symposium on Mathematical Foundations of Computer Science, 493-500, 1986
991986
On the decidability of temporal properties of probabilistic pushdown automata
T Brázdil, A Kučera, O Stražovský
STACS 2005: 22nd Annual Symposium on Theoretical Aspects of Computer Science …, 2005
962005
Deciding bisimulation-like equivalences with finite-state processes
P Jančar, A Kučera, R Mayr
Theoretical Computer Science 258 (1-2), 409-433, 2001
902001
Two views on multiple mean-payoff objectives in Markov decision processes
T Br, K Chatterjee, V Forejt, A Kucera
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 33-42, 2011
872011
Lowness for the class of random sets
A Kučera, SA Terwijn
The Journal of Symbolic Logic 64 (4), 1396-1402, 1999
841999
Model-checking LTL with regular valuations for pushdown systems
J Esparza, A Kučera, S Schwoon
International Symposium on Theoretical Aspects of Computer Software, 316-339, 2001
812001
One-counter Markov decision processes
T Brázdil, V Brožek, K Etessami, A Kučera, D Wojtczak
Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete …, 2010
772010
Equivalence-checking on infinite-state systems: Techniques and results
A Kučera, P Jančar
Theory and Practice of Logic Programming 6 (3), 227-264, 2006
71*2006
classes and complete extensions of PA
A Kučera, Π Measure
Lecture Notes in Mathematics 1141, 245-259, 1985
56*1985
Analyzing probabilistic pushdown automata
T Brázdil, J Esparza, S Kiefer, A Kučera
Formal Methods in System Design 43, 124-163, 2013
522013
On the controller synthesis for finite-state Markov decision processes
A Kučera, O Stražovský
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer …, 2005
512005
Trading performance for stability in Markov decision processes
T Brázdil, K Chatterjee, V Forejt, A Kučera
Journal of Computer and System Sciences 84, 144-170, 2017
482017
Efficient controller synthesis for consumption games with multiple resource types
T Brázdil, K Chatterjee, A Kučera, P Novotný
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
472012
Qualitative reachability in stochastic BPA games
T Brázdil, V Brožek, A Kučera, J Obdržálek
Information and Computation 209 (8), 1160-1183, 2011
472011
DP lower bounds for equivalence-checking and model-checking of one-counter automata
P Jančar, A Kučera, F Moller, Z Sawa
Information and Computation 188 (1), 1-19, 2004
462004
Demuth randomness and computational complexity
A Kučera, A Nies
Annals of Pure and Applied Logic 162 (7), 504-513, 2011
452011
Approximating the termination value of one-counter MDPs and stochastic games
T Brázdil, V Brožek, K Etessami, A Kučera
Information and Computation 222, 121-138, 2013
432013
The system can't perform the operation now. Try again later.
Articles 1–20