Formal Specifications for Hybrid Dynamical Systems.

Pieter J. Mosterman, Gautam Biswas

Browse the full IJCAI paper archive.