# A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems

> Research article (Figshare, 2018) · cited 39× · AI/ML

**Wikidata**: [openalex:W3102952452](https://www.wikidata.org/wiki/openalex:W3102952452)  
**Source**: https://4ort.xyz/entity/a-complete-axiomatization-of-quantified-differential-dynamic-logic-for-distributed-hybrid-systems