关注
Filip Macák
Filip Macák
PhD student at the Brno University of Technology
在 fit.vut.cz 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Search and Explore: Symbiotic Policy Synthesis in POMDPs
R Andriushchenko, A Bork, M Češka, S Junges, JP Katoen, F Macák
CAV, 2023
82023
Policies Grow on Trees: Model Checking Families of MDPs
R Andriushchenko, M Češka, S Junges, F Macák
arXiv preprint arXiv:2407.12552, 2024
2024
Artifact supplement for'An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty'
R Andriushchenko, M Ceska, S Junges, JP Katoen, F Macák
Zenodo, 2024
2024
Artifact supplement for'Search and Explore: Symbiotic Policy Synthesis in POMDPs'.
R Andriushchenko, A Bork, M Ceska, S Junges, JP Katoen, F Macák
Zenodo, 2023
2023
Search and Explore: Symbiotic Policy Synthesis in POMDPs
S Junges, JP Katoen, F Macák
Improving Synthesis of Finite State Controllers for POMDPs Using Belief Space Approximation
BF MACÁK
系统目前无法执行此操作,请稍后再试。
文章 1–6