HybridSal

swMATH11781MaRDI QIDQ23720FDOQ23720

Author name not available (Why is that?)

Cited In (4)

• Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system
• Bio-PEPA with Events
• Extracting counterexamples induced by safety violation in linear hybrid systems
• Combined Decision Techniques for the Existential Theory of the Reals

This page was built for software: HybridSal