Scholar

Antonin Kucera

Google Scholar ID: HxIvytQAAAAJ

Masaryk University

Computer Science

Citations & Impact

All-time

Citations

740

H-index

i10-index

Publications

Co-authors

Contact

Publications

20 items

Browse publications on Google Scholar (top-right) ↗

Resume (English only)

Background

Professor of Computer Science at Masaryk University
Research interests include: stochastic processes, effective analysis of probabilistic systems
Markov decision processes and stochastic games, strategy synthesis, multi-objective optimization
Infinite-state systems and games
Applications of game theory in security and operational research
Decidability and complexity of equivalence-checking and model-checking over infinite-state systems
Modal and temporal logics

Co-authors

0 total

Co-authors: 0 (list not available)