Scholar
Milan Ceska
Google Scholar ID: hdKGh8UAAAAJ
Brno University of Technology
Formal methods
parameter synthesis
computational systems biology
parallel algorithms
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,655
H-index
25
i10-index
37
Publications
20
Co-authors
35
list available
Publications
1 items
Missingness-MDPs: Bridging the Theory of Missing Data and POMDPs
2026
Cited
0
Co-authors
16 total
Tomas Vojnar
FI, Masaryk University & FIT, Brno University of Technology
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Sebastian Junges
Assistant Professor, Radboud University, Nijmegen
Roman Andriushchenko
Ph.D. student, Brno University of Technology
Nicola Paoletti
Department of Informatics, King's College London
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
Radu Calinescu
Professor of Computer Science, University of York
Simos Gerasimou
Associate Professor (Senior Lecturer) in Computer Science, University of York