Conference Papers

Hybrid abstractions: A search and rescue case study

Proc. ECC2001 - European Control Conference, Porto, Portugal