Verified hybrid controllers for automated vehicles,” Automatic Control, (1998)

by J Lygeros, D N Godbole, S Sastry
Venue:IEEE Transactions on,