research
∙
05/17/2023
Games on Graphs
The objective of this collaborative textbook is to present the state of ...
share
research
∙
05/17/2023
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems
We consider the problem of synthesizing resilient and stochastically sta...
research
∙
11/28/2022
Shielding in Resource-Constrained Goal POMDPs
We consider partially observable Markov decision processes (POMDPs) mode...
research
∙
06/16/2022
On-the-fly Adaptation of Patrolling Strategies in Changing Environments
We consider the problem of efficient patrolling strategy adaptation in a...
research
∙
08/04/2021
On Lexicographic Proof Rules for Probabilistic Termination
We consider the almost-sure (a.s.) termination problem for probabilistic...
research
∙
05/05/2021
Efficient Strategy Synthesis for MDPs with Resource Constraints
We consider qualitative strategy synthesis for the formalism called cons...
research
∙
04/02/2021
Proving Non-termination by Program Reversal
We present a new approach to proving non-termination of non-deterministi...
research
∙
08/14/2020
Proving Almost-Sure Termination of Probabilistic Programs via Incremental Pruning
The extension of classical imperative programs with real-valued random v...
research
∙
05/14/2020
Qualitative Controller Synthesis for Consumption Markov Decision Processes
Consumption Markov Decision Processes (CMDPs) are probabilistic decision...
research
∙
02/27/2020
Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes
Markov decision processes (MDPs) are the defacto frame-work for sequenti...
research
∙
11/04/2019
Enabling Enterprise Blockchain Interoperability with Trusted Data Transfer (industry track)
The adoption of permissioned blockchain networks in enterprise settings ...
research
∙
07/25/2019
Deciding Fast Termination for Probabilistic VASS with Nondeterminism
A probabilistic vector addition system with states (pVASS) is a finite s...
research
∙
09/23/2018
Permissioned Blockchain Technologies for Academic Publishing
Academic publishing is continuously evolving with the gradual adoption o...
research
∙
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...
research
∙
07/13/2018
On the Complexity of Value Iteration
Value iteration is a fundamental algorithm for solving Markov Decision P...
research
∙
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...
research
∙
05/03/2018
LedgerGuard: Improving Blockchain Ledger Dependability
The rise of crypto-currencies has spawned great interest in their underl...
research
∙
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...
research
∙
04/27/2018
Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-sum Objectives
Partially-observable Markov decision processes (POMDPs) with discounted-...
research
∙
09/12/2017
Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs
Probabilistic programs extend classical imperative programs with real-va...
research
∙
08/29/2017
Efficient Algorithms for Checking Fast Termination in VASS
Vector Addition Systems with States (VASS) consists of a finite state sp...
research
∙
11/26/2016
Optimizing Expectation with Guarantees in POMDPs (Technical Report)
A standard objective in partially-observable Markov decision processes (...
research
∙
02/24/2016