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...
share
research
∙
05/15/2023
Mean Payoff Optimization for Systems of Periodic Service and Maintenance
Consider oriented graph nodes requiring periodic visits by a service age...
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
∙
05/27/2022
General Optimization Framework for Recurrent Reachability Objectives
We consider the mobile robot path planning problem for a class of recurr...
research
∙
02/02/2022
Minimizing Expected Intrusion Detection Time in Adversarial Patrolling
In adversarial patrolling games, a mobile Defender strives to discover i...
research
∙
08/19/2021
Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games
We design a new efficient strategy synthesis method applicable to advers...
research
∙
07/08/2021
The Satisfiability Problem for a Quantitative Fragment of PCTL
We give a sufficient condition under which every finite-satisfiable form...
research
∙
02/13/2021
Deciding Polynomial Termination Complexity for VASS Programs
We show that for every fixed k≥ 3, the problem whether the termination/c...
research
∙
05/07/2020
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling
We present a sound and complete method for the verification of qualitati...
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
∙
07/01/2018
Automatic Analysis of Expected Termination Time for Population Protocols
Population protocols are a formal model of sensor networks consisting of...
research
∙
05/08/2018
Synthesizing Efficient Solutions for Patrolling Problems in the Internet Environment
We propose an algorithm for constructing efficient patrolling strategies...
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
∙
08/29/2017
Efficient Algorithms for Checking Fast Termination in VASS
Vector Addition Systems with States (VASS) consists of a finite state sp...
research
∙
06/20/2017
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms
Continuous-time Markov chains with alarms (ACTMCs) allow for alarm event...
research
∙
07/15/2014