Pages that link to "Item:Q5696927"

The following pages link to Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems (Q5696927):

Displaying 2 items.

• Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> (Q5408048) (← links)
• The minimum principle of hybrid optimal control theory (Q6188525) (← links)