Amanote Research
Register
Sign In
Ensuring Drivability of Planned Motions Using Formal Methods
doi 10.1109/itsc.2017.8317647
Full Text
Open PDF
Abstract
Available in
full text
Date
October 1, 2017
Authors
Bastian Schurmann
Daniel Hes
Jan Eilbrecht
Olaf Stursberg
Frank Koster
Matthias Althoff
Publisher
IEEE