- UHRA Home
- Browsing by Author
Browsing by Author "Egerstedt, Magnus"
Now showing items 1-1 of 1
-
Modular Development of Hybrid Systems for Verification in Coq
Niqui, Milad; Tveretina, Olga (Springer Nature, 2008)In this paper we present a formalization of the theory of hybrid automata and algorithms for building trajectory trees using module types and functors in the Coq proof assistant