Proceedings of the 10th international conference on Hybrid systems: computation and control

Authors:
Alberto Bemporad;Antonio Bicchi;Giorgio Buttazzo
Affiliations:
Università di Siena, Dip. Ingegneria dell'Informazione, Siena, Italy;Università di Pisa, Centro;RETIS Lab., Pisa, Italy
Venue:
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Year:
2007

A Temporal Dynamic Logic for Verifying Hybrid System Invariants

LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Differential Dynamic Logic for Verifying Parametric Hybrid Systems

TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Differential dynamic logics: automated theorem proving for hybrid systems

Differential dynamic logics: automated theorem proving for hybrid systems

Hi-index	0.00