Petr Novotný | DeepAI

AI Chat

Featured Co-authors

Qi Zhang
242 publications
Ufuk Topcu
123 publications
Krishnendu Chatterjee
70 publications
Jean-François Raskin
38 publications
Guillermo A. Perez
32 publications
Nathanaël Fijalkow
23 publications
Anchit Gupta
17 publications
Mickael Randour
17 publications
John Fearnley
16 publications
Đorđe Žikelić
16 publications
Stefan Kiefer
16 publications

∙ 05/17/2023

Games on Graphs

The objective of this collaborative textbook is to present the state of ...

0 Nathanaël Fijalkow, et al. ∙

∙ 05/17/2023

Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems

We consider the problem of synthesizing resilient and stochastically sta...

0 David Klaška, et al. ∙

∙ 11/28/2022

Shielding in Resource-Constrained Goal POMDPs

We consider partially observable Markov decision processes (POMDPs) mode...

0 Michal Ajdarów, et al. ∙

∙ 06/16/2022

On-the-fly Adaptation of Patrolling Strategies in Changing Environments

We consider the problem of efficient patrolling strategy adaptation in a...

0 Tomáš Brázdil, et al. ∙

∙ 08/04/2021

On Lexicographic Proof Rules for Probabilistic Termination

We consider the almost-sure (a.s.) termination problem for probabilistic...

0 Krishnendu Chatterjee, et al. ∙

∙ 05/05/2021

Efficient Strategy Synthesis for MDPs with Resource Constraints

We consider qualitative strategy synthesis for the formalism called cons...

0 František Blahoudek, et al. ∙

∙ 04/02/2021

Proving Non-termination by Program Reversal

We present a new approach to proving non-termination of non-deterministi...

0 Krishnendu Chatterjee, et al. ∙

∙ 08/14/2020

Proving Almost-Sure Termination of Probabilistic Programs via Incremental Pruning

The extension of classical imperative programs with real-valued random v...

0 Krishnendu Chatterjee, et al. ∙

∙ 05/14/2020

Qualitative Controller Synthesis for Consumption Markov Decision Processes

Consumption Markov Decision Processes (CMDPs) are probabilistic decision...

0 František Blahoudek, et al. ∙

∙ 02/27/2020

Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes

Markov decision processes (MDPs) are the defacto frame-work for sequenti...

0 Tomáš Brázdil, et al. ∙

∙ 11/04/2019

Enabling Enterprise Blockchain Interoperability with Trusted Data Transfer (industry track)

The adoption of permissioned blockchain networks in enterprise settings ...

0 Ermyas Abebe, et al. ∙

∙ 07/25/2019

Deciding Fast Termination for Probabilistic VASS with Nondeterminism

A probabilistic vector addition system with states (pVASS) is a finite s...

0 Tomáš Brázdil, et al. ∙

∙ 09/23/2018

Permissioned Blockchain Technologies for Academic Publishing

Academic publishing is continuously evolving with the gradual adoption o...

0 Petr Novotný, et al. ∙

∙ 09/23/2018

Harvesting Time-Series Data from Service-Based Systems Hosted in MANETs

We are concerned with reliably harvesting data collected from service-ba...

0 Petr Novotný, et al. ∙

∙ 07/13/2018

On the Complexity of Value Iteration

Value iteration is a fundamental algorithm for solving Markov Decision P...

0 Nikhil Balaji, et al. ∙

∙ 07/13/2018

On the Complexity of Iterative Tropical Computation with Applications to Markov Decision Processes

We study the complexity of evaluating powered functions implemented by s...

0 Nikhil Balaji, et al. ∙

∙ 05/03/2018

LedgerGuard: Improving Blockchain Ledger Dependability

The rise of crypto-currencies has spawned great interest in their underl...

0 Qi Zhang, et al. ∙

∙ 04/29/2018

Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS

Vector Addition Systems with States (VASS) provide a well-known and fund...

0 Tomáš Brázdil, et al. ∙

∙ 04/27/2018

Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-sum Objectives

Partially-observable Markov decision processes (POMDPs) with discounted-...

0 Krishnendu Chatterjee, et al. ∙

∙ 09/12/2017

Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs

Probabilistic programs extend classical imperative programs with real-va...

0 Sheshansh Agrawal, et al. ∙

∙ 08/29/2017

Efficient Algorithms for Checking Fast Termination in VASS

Vector Addition Systems with States (VASS) consists of a finite state sp...

0 Tomáš Brázdil, et al. ∙

∙ 11/26/2016

Optimizing Expectation with Guarantees in POMDPs (Technical Report)

A standard objective in partially-observable Markov decision processes (...

0 Krishnendu Chatterjee, et al. ∙

∙ 02/24/2016

Stochastic Shortest Path with Energy Constraints in POMDPs

We consider partially observable Markov decision processes (POMDPs) with...

0 Tomáš Brázdil, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world