Quantified Differential Dynamic Logic for Distributed Hybrid Systems.

Andr Platzer

Browse the full CSL paper archive.