Analyzing Many Simulations of Hybrid Programs in Lince

Reydel Arrieta, José Proença, Patrick Meumeu Yomsi

Hybrid systems are increasingly used in critical applications such as medical devices, infrastructure systems, and autonomous vehicles. Lince is an academic tool for specifying and…