Search Results for author: Petr Novotny

Found 2 papers, 1 papers with code

Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes

1 code implementation27 Feb 2020 Tomas Brazdil, Krishnendu Chatterjee, Petr Novotny, Jiri Vahala

The objective of risk-constrainedplanning is to maximize the expected discounted-sum payoffamong risk-averse policies that ensure the probability to en-counter a failure state is below a desired threshold.

Decision Making Frame +1

Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs

no code implementations28 Oct 2015 Krishnendu Chatterjee, Hongfei Fu, Petr Novotny, Rouzbeh Hasheminezhad

Firstly, we show that the membership problem of LRAPP (i) can be decided in polynomial time for APP's with at most demonic non-determinism, and (ii) is NP-hard and in PSPACE for APP's with angelic non-determinism; moreover, the NP-hardness result holds already for APP's without probability and demonic non-determinism.

Logic in Computer Science Programming Languages D.2.4

Cannot find the paper you are looking for? You can Submit a new open access paper.