research
∙
07/20/2023
Robust Alternating-Time Temporal Logic
In multi-agent system design, a crucial aspect is to ensure robustness, ...
share
research
∙
06/09/2023
Robust Probabilistic Temporal Logics
We robustify PCTL and PCTL*, the most important specification languages ...
research
∙
05/31/2023
Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games (full version)
We compare games under delayed control and delay games, two types of inf...
research
∙
03/29/2023
HyperLTL Satisfiability Is Highly Undecidable, HyperCTL* is Even Harder
Temporal logics for the specification of information-flow properties are...
research
∙
11/11/2022
Two-Step Online Trajectory Planning of a Quadcopter in Indoor Environments with Obstacles
This paper presents a two-step algorithm for online trajectory planning ...
research
∙
07/15/2022
Parikh Automata over Infinite Words
Parikh automata extend finite automata by counters that can be tested fo...
research
∙
06/29/2022
Monitoring Timed Properties (Revisited)
In this paper we revisit monitoring real-time systems with respect to pr...
research
∙
04/22/2022
Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime
While most of the current synthesis algorithms only focus on correctness...
research
∙
03/07/2022
Weakness Makes Muller Delay Games Hard
We show that solving delay games with winning conditions given by determ...
research
∙
02/28/2022
The Complexity of Evaluating nfer
Nfer is a rule-based language for abstracting event streams into a hiera...
research
∙
01/18/2022
Robust Computation Tree Logic
It is widely accepted that every system should be robust in that "small"...
research
∙
05/10/2021
HyperLTL Satisfiability is Σ_1^1-complete, HyperCTL* Satisfiability is Σ_1^2-complete
Temporal logics for the specification of information-flow properties are...
research
∙
05/06/2021
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
We study the expressiveness and succinctness of good-for-games pushdown ...
research
∙
10/22/2020
Approximating the Minimal Lookahead Needed to Win Infinite Games
We present an exponential-time algorithm approximating the minimal looka...
research
∙
09/23/2020
Optimal Strategies in Weighted Limit Games
We prove the existence and computability of optimal strategies in weight...
research
∙
08/26/2020
Optimal Strategies in Weighted Limit Games (full version)
We prove the existence and computability of optimal strategies in weight...
research
∙
01/13/2020
Good-for-games ω-Pushdown Automata
We introduce good-for-games ω-pushdown automata (ω-GFG-PDA). These are a...
research
∙
12/10/2019
Optimally Resilient Strategies in Pushdown Safety Games
Infinite-duration games with disturbances extend the classical framework...
research
∙
11/08/2019
Promptness and Bounded Fairness in Concurrent and Parameterized Systems
We investigate the satisfaction of specifications in Prompt Linear Tempo...
research
∙
09/17/2019
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free
Linear Temporal Logic (LTL) is the standard specification language for r...
research
∙
07/11/2019
The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas
HyperLTL, the extension of Linear Temporal Logic by trace quantifiers, i...
research
∙
09/07/2018
Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification
This volume contains the proceedings of the Ninth International Symposiu...
research
∙
08/27/2018
Robust, Expressive, and Quantitative Linear Temporal Logics
Linear Temporal Logic (LTL) is the standard specification language for r...
research
∙
07/21/2018
Robust Monitoring of Linear Temporal Properties
Runtime verification is commonly used to detect and, if possible, react ...
research
∙
05/08/2018
Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems
We give a direct polynomial-time reduction from parity games played over...
research
∙
04/17/2018
Parity Games with Weights
Quantitative extensions of parity games have recently attracted signific...
research
∙
09/25/2017
Team Semantics for the Specification and Verification of Hyperproperties
We develop team semantics for Linear Temporal Logic (LTL) to express hyp...
research
∙
09/14/2017
Synthesizing Optimally Resilient Controllers
Recently, Dallal, Neider, and Tabuada studied a generalization of the cl...
research
∙
09/07/2017