Visible to the public A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems

Submitted by sloos@cs.cmu.edu on Mon, 03/04/2013 - 2:55pm
Preview: Text

Other available formats:   

A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems
Switch to experimental viewer