Antonin Kucera
Scholar

Antonin Kucera

Google Scholar ID: HxIvytQAAAAJ
Masaryk University
Computer Science
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
740
 
H-index
15
 
i10-index
26
 
Publications
20
 
Co-authors
0
 
Contact
GitHubOpen ↗
Resume
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