Jan Krčál
Author
Alternate names Jan Krcál, Jan Krčál, Jan Krčal, J Krcal, Jan Krcal
Institution Czech Technical University in Prague
Past institutions Czech Technical University in Prague, E4t Electronics for Transportation (Czechia), Saarland University, Paderborn University, Masaryk University
H-index: 13
I10-index: 16
Works count: 79
Citations count: 459
The Value of Attack-Defence Diagrams
2016 · Holger Hermanns, Julia Krämer, et al. · Lecture notes in computer science
Optimal Continuous Time Markov Decisions
2015 · Yuliya Butkova, Hassan Hatefi, et al. · Lecture notes in computer science
Probabilistic Bisimulation: Naturally on Distributions
2014 · Holger Hermanns, Jan Krčál, et al. · Lecture notes in computer science