The following pages link to R-Charon (Q31580):
Displaying 3 items.
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems (Q3455848) (← links)
- A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems (Q4899117) (← links)