Antonin Kucera

Antonin Kucera

Masaryk University in Brno - Brno / Czech Republic
Engineering & Technology / Computer Science
AD Scientific Index ID: 1559415
Masaryk University
person_outline Antonin Kucera's MOST POPULAR ARTICLES
1-) Model checking probabilistic pushdown automataR Mayr, A Kucera, J EsparzaLogical Methods in Computer Science 2, 20061932006
2-) Model checking LTL with regular valuations for pushdown systemsJ Esparza, A Kučera, S SchwoonInformation and Computation 186 (2), 355-376, 20031432003
3-) Reachability games on extended vector addition systems with statesT Brázdil, P Jančar, A KučeraInternational Colloquium on Automata, Languages, and Programming, 478-489, 20101082010
4-) On the decidability of temporal properties of probabilistic pushdown automataT Brázdil, A Kučera, O StražovskýSTACS 2005: 22nd Annual Symposium on Theoretical Aspects of Computer Science …, 2005982005
5-) Deciding bisimulation-like equivalences with finite-state processesP Jančar, A Kučera, R MayrTheoretical Computer Science 258 (1-2), 409-433, 2001942001