Login / Signup
Filip Macák
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Partially Observable Markov Decision Processes
Deterministic Finite Automaton
Temporally Extended
Pspace Complete
Top Venues
CoRR
CAV (3)
</>
Publications
</>
Roman Andriushchenko
,
Milan Ceska
,
Sebastian Junges
,
Filip Macák
Policies Grow on Trees: Model Checking Families of MDPs.
CoRR
(2024)
Roman Andriushchenko
,
Alexander Bork
,
Milan Ceska
,
Sebastian Junges
,
Joost-Pieter Katoen
,
Filip Macák
Search and Explore: Symbiotic Policy Synthesis in POMDPs.
CoRR
(2023)
Roman Andriushchenko
,
Alexander Bork
,
Milan Ceska
,
Sebastian Junges
,
Joost-Pieter Katoen
,
Filip Macák
Search and Explore: Symbiotic Policy Synthesis in POMDPs.
CAV (3)
(2023)