# Algorithmic Verification of Continuous and Hybrid Systems

arXiv: https://arxiv.org/abs/1403.0952 · HTML: https://mlsanity.com/paper/1403.0952/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 27 Feb 2014.

## Built on by (most cited first, 1 of 1)

- [An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles](https://mlsanity.com/paper/2205.01419/) (2022)

## Abstract (arXiv)

We provide a tutorial introduction to reachability computation, a class of computational techniques that exports verification technology toward continuous and hybrid systems. For open under-determined systems, this technique can sometimes replace an infinite number of simulations.