Search and Explore: Symbiotic Policy Synthesis in POMDPs R Andriushchenko, A Bork, M Češka, S Junges, JP Katoen, F Macák CAV, 2023 | 8 | 2023 |
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 | | |