Filip Macák

According to our database, Filip Macák authored at least 12 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty.

Roman Andriushchenko, Milan Ceska, Filip Macák, Sebastian Junges, Joost-Pieter Katoen

J. Artif. Intell. Res., 2025

Symbiotic Local Search for Small Decision Tree Policies in MDPs.

Roman Andriushchenko, Milan Ceska, Debraj Chakraborty, Sebastian Junges, Jan Kretínský, Filip Macák

Proceedings of the Conference on Uncertainty in Artificial Intelligence, 2025

Decentralized Planning Using Probabilistic Hyperproperties.

Francesco Pontiggia, Filip Macák, Roman Andriushchenko, Michele Chiari, Milan Ceska

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

Small Decision Trees for MDPs with Deductive Synthesis.

Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

Artifact supplement for 'An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty'.

Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

Dataset, May, 2024

Artifact supplement for 'An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty'.

Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

Dataset, May, 2024

Artifact supplement for 'An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty'.

Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

Dataset, February, 2024

Policies Grow on Trees: Model Checking Families of MDPs.

Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák

Proceedings of the Automated Technology for Verification and Analysis, 2024

2023

Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'.

Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

Dataset, April, 2023

Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'.

Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

Dataset, April, 2023

Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'.

Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

Dataset, April, 2023

Search and Explore: Symbiotic Policy Synthesis in POMDPs.

Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

Proceedings of the Computer Aided Verification - 35th International Conference, 2023