Publisher
Springer International Publishing
Reference36 articles.
1. Lecture Notes in Computer Science;M Hilscher,2011
2. Varaija, P.: Smart cars on smart roads: problems of control. IEEE Trans. Autom. Control AC–38, 195–207 (1993)
3. Lygeros, J., Godbole, D.N., Sastry, S.S.: Verified hybrid controllers for automated vehicles. IEEE Trans. Autom. Control 43, 522–539 (1998)
4. Jula, H., Kosmatopoulos, E.B., Ioannou, P.A.: Collision avoidance analysis for lane changing and merging. Technical report UCB-ITS-PRR-99-13, California Partners for Advanced Transit and Highways (PATH), University of California at Berkeley (1999)
5. Arechiga, N., Loos, S.M., Platzer, A., Krogh, B.H.: Using theorem provers to guarantee closed-loop system properties. In: American Control Conference (ACC) 2012, pp. 3573–3580. IEEE (2012)