research
∙
08/22/2023
Counterfactual Causality for Reachability and Safety based on Distance Functions
Investigations of causality in operational systems aim at providing huma...
share
research
∙
07/04/2022
Decidability of One-Clock Weighted Timed Games with Arbitrary Weights
Weighted Timed Games (WTG for short) are the most widely used model to d...
research
∙
05/03/2021
Playing Stochastically in Weighted Timed Games to Emulate Memory
Weighted timed games are two-player zero-sum games played in a timed aut...
research
∙
05/11/2020