Filip Macák

PhD student, Faculty of Information Technology, Brno University of Technology

Joined

October 2024

Names

Filip Macák (Preferred)

Emails

****@fit.vut.cz (Confirmed)

Personal Links

Career & Education History

PhD student

Faculty of Information Technology, Brno University of Technology (vutbr.cz)

2023 – 2027

Advisors, Relations & Conflicts

Coauthor

Sebastian Junges

2023 – Present

PhD Advisor

2022 – 2027

Expertise

No areas of expertise listed

Publications

Symbiotic Local Search for Small Decision Tree Policies in MDPs
Roman Andriushchenko, Milan Ceska, Debraj Chakraborty, Sebastian Junges, Jan Kretinsky, Filip Macák
- UAI 2025 Poster
- Readers: Everyone
Decentralized Planning Using Probabilistic Hyperproperties
Francesco Pontiggia, Filip Macák, Roman Andriushchenko, Michele Chiari, Milan Ceska
- CoRR 2025
- Readers: Everyone
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
- Readers: Everyone
Small Decision Trees for MDPs with Deductive Synthesis
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák
- CoRR 2025
- Readers: Everyone
Policies Grow on Trees: Model Checking Families of MDPs
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák
- ATVA (2) 2024
- Readers: Everyone
Search and Explore: Symbiotic Policy Synthesis in POMDPs
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
- Published: 01 Jan 2023, Last Modified: 21 Feb 2024
- CAV (3) 2023
- Readers: Everyone
Search and Explore: Symbiotic Policy Synthesis in POMDPs
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
- Published: 01 Jan 2023, Last Modified: 21 Feb 2024
- CoRR 2023
- Readers: Everyone

Co-Authors