R-Charon

swMATH19756MaRDI QIDQ31580FDOQ31580

Author name not available (Why is that?)

Described by source

• Hybrid Systems: Computation and Control

Cited In (3)

• Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems
• A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems
• Hybridization methods for the analysis of nonlinear systems

This page was built for software: R-Charon