47 citations · 49 across the 4 of their papers we have counts for
5 papers
On Lexicographic Proof Rules for Probabilistic Termination
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný +2
We consider the almost-sure (a.s.) termination problem for probabilistic programs, which are a stochastic extension of classical imperative programs. Lexicographic ranking function…
Efficient Strategy Synthesis for MDPs with Resource Constraints
František Blahoudek, Petr Novotný, Melkior Ornik +2
We consider qualitative strategy synthesis for the formalism called consumption Markov decision processes. This formalism can model dynamics of an agents that operates under resour…
Qualitative Controller Synthesis for Consumption Markov Decision Processes
František Blahoudek, Tomáš Brázdil, Petr Novotný +3
Consumption Markov Decision Processes (CMDPs) are probabilistic decision-making models of resource-constrained systems. In a CMDP, the controller possesses a certain amount of a cr…
On (alpha,beta,gamma)-derivations of Lie algebras and corresponding invariant functions
Petr Novotný, Jiří Hrivnák
We consider finite-dimensional complex Lie algebras. We generalize the concept of Lie derivations via certain complex parameters and obtain various Lie and Jordan operator algebras…
On Orbits of the Ring under the Action of the Group
Petr Novotný, Jiří Hrivnák
We consider the action of the finite matrix group on the ring . We determine orbits of this action for n arbitrary natural number. It is a generalization of the…