We present SySCoRe, a MATLAB toolbox that synthesizes controllers for stochastic
continuous-state systems to satisfy temporal logic specifications. Starting from a system …

Verifying the performance of safety-critical, stochastic systems with complex noise
distributions is difficult. We introduce a general procedure for the finite abstraction of …

Optimization-based approaches such as Model Predictive Control (MPC) are promising
approaches in proactive control for safety-critical applications with changing environments …

This paper addresses the problem of computing controllers that are correct by design for
safety-critical systems and can provably satisfy (complex) functional requirements. We …

In this paper, we present an approach for designing correct-by-design controllers for cyber-
physical systems composed of multiple dynamically interconnected uncertain systems. We …

This paper introduces a novel abstraction-based framework for controller synthesis of
nonlinear discrete-time stochastic systems. The focus is on probabilistic reach-avoid …

Decision-making for autonomous driving incorporating different types of risks is a
challenging topic. This paper proposes a novel risk metric to facilitate the driving task …

Designing controllers to satisfy temporal requirements has proven to be challenging for
dynamical systems that are affected by uncertainty. This is mainly due to the states evolving …

This report presents the results of a friendly competition for formal verification and policy
synthesis of stochastic models. It also introduces new benchmarks and their properties …