Safety verification for automated platoon maneuvers: A case study
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 154-170
- https://doi.org/10.1007/bfb0014723
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Verification of automated vehicle protection systemsPublished by Springer Nature ,1996
- Hybrid I/O automataPublished by Springer Nature ,1996
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- Smart cars on smart roads: problems of controlIEEE Transactions on Automatic Control, 1993