Filip Mack
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking. | Linus Heck, Filip Mack, Milan Ceska, Sebastian Junges |
| 2026 | CAV | Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families. | Milan Ceska, Sebastian Junges, Luko van der Maas, Filip Mack, Tim Quatmann |
| 2026 | CAV | Shields to Guarantee Probabilistic Safety in MDPs. | Linus Heck, Filip Mack, Roman Andriushchenko, Milan Ceska, Sebastian Junges |
| 2025 | CAV | Small Decision Trees for MDPs with Deductive Synthesis. | Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Mack |
| 2025 | UAI | Symbiotic Local Search for Small Decision Tree Policies in MDPs. | Roman Andriushchenko, Milan Ceska, Debraj Chakraborty, Sebastian Junges, Jan Kretnsk, Filip Mack |
| 2024 | ATVA | Policies Grow on Trees: Model Checking Families of MDPs. | Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Mack |
| 2023 | CAV | Search and Explore: Symbiotic Policy Synthesis in POMDPs. | Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Mack |