STRONG

MaRDI QIDQ31332swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-642-40196-1_13

Cited in

(4)

• Trajectory-based theory for hybrid systems
• Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
• HySon
• HyLAA

This page was built for software: STRONG