
On Lexicographic Proof Rules for Probabilistic Termination
We consider the almostsure (a.s.) termination problem for probabilistic...
read it

Efficient Strategy Synthesis for MDPs with Resource Constraints
We consider qualitative strategy synthesis for the formalism called cons...
read it

Proving Nontermination by Program Reversal
We present a new approach to proving nontermination of nondeterministi...
read it

Proving AlmostSure Termination of Probabilistic Programs via Incremental Pruning
The extension of classical imperative programs with realvalued random v...
read it

Qualitative Controller Synthesis for Consumption Markov Decision Processes
Consumption Markov Decision Processes (CMDPs) are probabilistic decision...
read it

Reinforcement Learning of RiskConstrained Policies in Markov Decision Processes
Markov decision processes (MDPs) are the defacto framework for sequenti...
read it

Enabling Enterprise Blockchain Interoperability with Trusted Data Transfer (industry track)
The adoption of permissioned blockchain networks in enterprise settings ...
read it

Deciding Fast Termination for Probabilistic VASS with Nondeterminism
A probabilistic vector addition system with states (pVASS) is a finite s...
read it

Permissioned Blockchain Technologies for Academic Publishing
Academic publishing is continuously evolving with the gradual adoption o...
read it

Harvesting TimeSeries Data from ServiceBased Systems Hosted in MANETs
We are concerned with reliably harvesting data collected from serviceba...
read it

On the Complexity of Value Iteration
Value iteration is a fundamental algorithm for solving Markov Decision P...
read it

On the Complexity of Iterative Tropical Computation with Applications to Markov Decision Processes
We study the complexity of evaluating powered functions implemented by s...
read it

LedgerGuard: Improving Blockchain Ledger Dependability
The rise of cryptocurrencies has spawned great interest in their underl...
read it

Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS
Vector Addition Systems with States (VASS) provide a wellknown and fund...
read it

Expectation Optimization with Probabilistic Guarantees in POMDPs with Discountedsum Objectives
Partiallyobservable Markov decision processes (POMDPs) with discounted...
read it

Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs
Probabilistic programs extend classical imperative programs with realva...
read it

Efficient Algorithms for Checking Fast Termination in VASS
Vector Addition Systems with States (VASS) consists of a finite state sp...
read it

Optimizing Expectation with Guarantees in POMDPs (Technical Report)
A standard objective in partiallyobservable Markov decision processes (...
read it

Stochastic Shortest Path with Energy Constraints in POMDPs
We consider partially observable Markov decision processes (POMDPs) with...
read it
Petr Novotný
is this you? claim profile