Conference

Realyst: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems

Joanna Delicaris

• Jan 1, 2023 • 1 min read

Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties

Benedikt Maderbacher

• Jan 1, 2023 • 1 min read

Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks

Joanna Delicaris

• Jan 1, 2023 • 1 min read

Lightweight Verification of Hyperproperties

Oyendrila Dobe

• Jan 1, 2023 • 1 min read

Arch-Comp23 Category Report: Stochastic Models

Alessandro Abate

• Jan 1, 2023 • 1 min read

Arch-Comp23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

Matthias Althoff

• Jan 1, 2023 • 1 min read

Tacos: A Tool for Mtl Controller Synthesis

Till Hofmann

• Jan 1, 2021 • 1 min read

Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata Via Flowpipe-Construction

Carina Pilch

• Jan 1, 2021 • 1 min read

Controller Verification Meets Controller Code: A Case Study

Felix Freiberger

• Jan 1, 2021 • 1 min read

Engineering Controllers for Swarm Robotics Via Reachability Analysis in Hybrid Systems.

Francesco Leofante

• Jan 1, 2019 • 1 min read