Pages that link to "VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems"
From Murray Wiki
Jump to navigationJump to search
The following pages link to VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems:
Displayed 5 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Projects (← links)
- Admin/Projects (← links)
- NSF VeHiCal (redirect page) (← links)
- NSF VeHICaL (redirect page) (← links)
- Sumanth Dathathri (← links)
- Tung Phan (← links)
- SURF 2018 (← links)
- Voluntary lane-change policy synthesis with reactive control improvisation (← links)
- Risk-aware motion planning for automated vehicle among human-driven cars (← links)
- Inverse Abstraction of Neural Networks Using Symbolic Interpolation (← links)
- Jin Ge (← links)
- Karena Cai (← links)
- Contracts of Reactivity (← links)
- Towards Assume-Guarantee Profiles for Autonomous Vehicles (← links)
- SURF 2020 (← links)
- Learning pose estimation for UAV autonomous navigation and landing using visual-inertial sensor data (← links)
- Rules of the Road: Safety and Liveness Guarantees for Autonomous Vehicles (← links)
- Sanjit Seshia (← links)
- Template:NSF VeHICaL (redirect page) (← links)