conftrace_

Filip Macák

2 papers · 2025–2026 · 2 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓

🌍 Conference Polyglot (2) 🐝 Cross-Pollinator (14)

Conferences

AAAI (1) UAI (1)

Top co-authors

Sebastian Junges (2) Milan Ceska (2) Linus Heck (1) Roman Andriushchenko (1) Debraj Chakraborty (1) Jan Křetínský (1)

Keywords

markov decision process (1) constraint satisfaction (1) policy synthesis (1) robust policy (1) probabilistic model checking (1)

Papers

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking AAAI 2026 Symbiotic Local Search for Small Decision Tree Policies in MDPs UAI 2025