Autonomy and unmanned vehicles : augmented reactive mission and motion planning architecture
Proofs for traffic safety : combining diagrams and logic
Journal of autonomous vehicles and systems
15th International Symposium and Exhibition on Sophisticated Car Safety Systems
Unsettled issues concerning integrated vehicle health management systems and maintenance credits
Path planning and collision avoidance for safe autonomous vessel navigation in dynamic environments