Infinite-state games are a commonly used model for the synthesis of reactive systems with
unbounded data domains. Symbolic methods for solving such games need to be able to …

We consider the problem of automatically synthesizing a hybrid controller for non-linear
dynamical systems which ensures that the closed-loop fulfills an arbitrary Linear Temporal …

We present a novel method to compute $\textit {assume-guarantee contracts} $ in non-
zerosum two-player games over finite graphs where each player has a different $\omega …

Decision tree classifiers (DTs) provide an effective machine-learning model, well-known for
its intuitive interpretability. However, they still miss opportunities well-established in software …

The goal of logical controller synthesis is to automatically compute a control strategy that
regulates the discrete, event-driven behavior of a given plant st a temporal logic …

We consider the problem of computing distributed logical controllers for two interacting
system components via a novel sound and complete contract-based synthesis framework …

This invited paper unifies our recent work on the automated synthesis of strategy templates
as robust certified interfaces for interacting autonomous systems. Strategy templates are …

Infinite-state games are a commonly used model for the synthesis of reactive systems with
unbounded data domains. Symbolic methods for solving such games need to be able to …

Stochastic games play an important role for many purposes such as the control of cyber-
physical systems (CPS), where the controller and the environment are modeled as players …

We study multi-strategies in multiplayer reachability games played on finite graphs. A multi-
strategy prescribes a set of possible actions, instead of a single action as usual strategies: it …