Filip Macák

13 papers A* 1A 2Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2026 A* conf
Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking.
AAAI
Linus Heck, Filip Macák, Milan Ceska, Sebastian Junges
2026 J jnl
Search and explore: symbiotic policy synthesis in POMDPs.
Formal Methods Syst. Des.
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
2025 J jnl
An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty.
J. Artif. Intell. Res.
Roman Andriushchenko, Milan Ceska, Filip Macák, Sebastian Junges, Joost-Pieter Katoen
2025 J jnl
Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking.
CoRR
Linus Heck, Filip Macák, Milan Ceska, Sebastian Junges
2025 A conf
Decentralized Planning Using Probabilistic Hyperproperties.
AAMAS
Francesco Pontiggia, Filip Macák, Roman Andriushchenko, Michele Chiari, Milan Ceska
2025 J jnl
Decentralized Planning Using Probabilistic Hyperproperties.
CoRR
Francesco Pontiggia, Filip Macák, Roman Andriushchenko, Michele Chiari, Milan Ceska
2025 — conf
Small Decision Trees for MDPs with Deductive Synthesis.
CAV (2)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák
2025 J jnl
Small Decision Trees for MDPs with Deductive Synthesis.
CoRR
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák
2025 A conf
Symbiotic Local Search for Small Decision Tree Policies in MDPs.
UAI
Roman Andriushchenko, Milan Ceska, Debraj Chakraborty, Sebastian Junges, Jan Kretínský, Filip Macák
2024 — conf
Policies Grow on Trees: Model Checking Families of MDPs.
ATVA (2)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák
2024 J jnl
Policies Grow on Trees: Model Checking Families of MDPs.
CoRR
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák
2023 — conf
Search and Explore: Symbiotic Policy Synthesis in POMDPs.
CAV (3)
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
2023 J jnl
Search and Explore: Symbiotic Policy Synthesis in POMDPs.
CoRR
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák