R-Charon

MaRDI QIDQ31580swMATHFDO

Official website http://rd.springer.com/chapter/10.1007/11730637_30

Described by source

• Hybrid Systems: Computation and Control

Cited in

(5)

• Hybridization methods for the analysis of nonlinear systems
• Quantified differential temporal dynamic logic for verifying properties of distributed hybrid systems
• RAMAS
• Charon
• A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems

This page was built for software: R-Charon