[PDF][PDF] USING INHERITANCE DEPENDENCIES TO ACCELER-ATE ABSTRACTION-BASED SYNTHESIS OF FINITE-STATE CONTROLLERS FOR POMDPS.
A Shevchenko - theses.cz
Partially observable Markov decision process is an important model for autonomous
planning used in many areas, such as robotics and biology. This work focuses on the …
planning used in many areas, such as robotics and biology. This work focuses on the …
[PDF][PDF] Bachelor's Thesis Assignment
MJ Kochenderfer, TA Wheeler, KH Wray… - theses.cz
This thesis considers the problem of synthesizing finite-state controllers (FSC) for partially
observable Markov decision processes wrt. steady-state properties. The set of candidate …
observable Markov decision processes wrt. steady-state properties. The set of candidate …
[PDF][PDF] INDUCTIVE CONTROLLER SYNTHESIS FOR POM DPS WITH RESPECT TO STEADY-STATE PROPERTIES
A JAROLÍM - theses.cz
This thesis considers the problem of synthesizing finite-state controllers (FSC) for partially
observable Markov decision processes wrt. steady-state properties. The set of candidate …
observable Markov decision processes wrt. steady-state properties. The set of candidate …
[PDF][PDF] GPU-ACCELERATED SYNTHESIS OF PROBABILISTIC PROGRAMS
BV MARCIN - theses.cz
This paper examines the problem of automatic synthesis of probabilistic programs: having a
finite family of candidate programs, how can one efficiently identify a program that satisfies a …
finite family of candidate programs, how can one efficiently identify a program that satisfies a …