Vojtech Forejt

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 12

Top Topics

Controller Synthesis

Markov Decision Process

Infinite Horizon

Top Venues

Log. Methods Comput. Sci.

J. Comput. Syst. Sci.

Publications