STRONG

swMATH19505MaRDI QIDQ31332FDOQ31332

Author name not available (Why is that?)

Cited In (2)

• Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
• Trajectory-Based Theory for Hybrid Systems

This page was built for software: STRONG