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
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
Co-authors
8 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
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
Francesco Pontiggia
Francesco Pontiggia
Project Assistant, TU Wien