Search and Explore: Symbiotic Policy Synthesis in POMDPs. - Roman Andriushchenko; Alexander Bork; Milan Ceska 002; Sebastian Junges; Joost-Pieter Katoen; Filip Macák (CAV (3), 2023)

Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'. - Roman Andriushchenko; Alexander Bork; Milan Ceska 002; Sebastian Junges; Joost-Pieter Katoen; Filip Macák (Zenodo, 2023)

Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'. - Roman Andriushchenko; Alexander Bork; Milan Ceska 002; Sebastian Junges; Joost-Pieter Katoen; Filip Macák (Zenodo, 2023)

Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'. - Roman Andriushchenko; Alexander Bork; Milan Ceska 002; Sebastian Junges; Joost-Pieter Katoen; Filip Macák (Zenodo, 2023)

Policies Grow on Trees: Model Checking Families of MDPs. - Roman Andriushchenko; Milan Ceska 002; Sebastian Junges; Filip Macák (ATVA (2), 2024)

Artifact supplement for 'An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty'. - Roman Andriushchenko; Milan Ceska 002; Sebastian Junges; Joost-Pieter Katoen; Filip Macák (Zenodo, 2024)

Artifact supplement for 'An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty'. - Roman Andriushchenko; Milan Ceska 002; Sebastian Junges; Joost-Pieter Katoen; Filip Macák (Zenodo, 2024)

Artifact supplement for 'An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty'. - Roman Andriushchenko; Milan Ceska 002; Sebastian Junges; Joost-Pieter Katoen; Filip Macák (Zenodo, 2024)

Small Decision Trees for MDPs with Deductive Synthesis. - Roman Andriushchenko; Milan Ceska 002; Sebastian Junges; Filip Macák (CAV (2), 2025)

Decentralized Planning Using Probabilistic Hyperproperties. - Francesco Pontiggia; Filip Macák; Roman Andriushchenko; Michele Chiari; Milan Ceska 002 (AAMAS, 2025)

Symbiotic Local Search for Small Decision Tree Policies in MDPs. - Roman Andriushchenko; Milan Ceska 002; Debraj Chakraborty 002; Sebastian Junges; Jan Kretínský; Filip Macák (UAI, 2025)

An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty. - Roman Andriushchenko; Milan Ceska 002; Filip Macák; Sebastian Junges; Joost-Pieter Katoen (J. Artif. Intell. Res., 2025)