Filip Macák
Scholar

Filip Macák

Google Scholar ID: ZhkHBGoAAAAJ
PhD student at the Brno University of Technology
Probabilistic model checkingPOMDPs
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
20
 
H-index
2
 
i10-index
1
 
Publications
11
 
Co-authors
9
list available
Contact
No contact links provided.
Publications
2 items
Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
2026
Cited
0
Shields to Guarantee Probabilistic Safety in MDPs
2026
Cited
0
Resume (English only)
Co-authors
9 total
Roman Andriushchenko
Roman Andriushchenko
Ph.D. student, Brno University of Technology
Sebastian Junges
Sebastian Junges
Assistant Professor, Radboud University, Nijmegen
Milan Ceska
Milan Ceska
Brno University of Technology
Joost-Pieter Katoen
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
Co-author 5
Co-author 5
Debraj Chakraborty
Debraj Chakraborty
Postdoctoral researcher, Nanyang Technological University, Singapore
Jan Křetínský
Jan Křetínský
Masaryk University Brno; Technical University of Munich
Michele Chiari
Michele Chiari
Postdoc, TU Wien