Login / Signup
Vojtech Forejt
ORCID
Publication Activity (10 Years)
Years Active: 2006-2024
Publications (10 Years): 12
Top Topics
Controller Synthesis
Markov Decision Process
Infinite Horizon
Factored Mdps
Top Venues
CoRR
Log. Methods Comput. Sci.
J. Comput. Syst. Sci.
TACAS
</>
Publications
</>