Video
VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems
Sponsor(s)
National Science Foundation
Contributor(s)
Sanjit Seshia
Ruzena Bajcsy
Björn Hartmann
S. Shankar Sastry
Claire Tomlin
Thomas Griffiths
Richard Murray
Cynthia Sturton
Remote Video
Tags
Submitted by Anonymous on January 10th, 2023
File
Modeling and Influencing Human Attentiveness in Autonomy-to-Human Perception Hand-offs
Jason Gigax Submitted by Jason Gigax on December 19th, 2022
File
Rules of the Road: Formal Guarantees for Autonomous Vehicles with Behavioral Contract Design
Richard Murray Submitted by Richard Murray on June 9th, 2021
Video
Control Improvisation for Cyber-Physical Systems
Sponsor(s)
National Science Foundation
Contributor(s)
Sanjit A. Seshia
Remote Video
Tags
Submitted by Sanjit Seshia on May 14th, 2020
File
Counterexample-Guided Synthesis of Perception Models and Control
Submitted by Sanjit Seshia on January 16th, 2020
File
Finding Safety-Critical Causes of Mode Confusion Using Model Checking
Submitted by Cynthia Sturton on January 10th, 2020
File
Control Improvisation for Cyber-Physical Systems
Submitted by Sanjit Seshia on January 10th, 2020
File
Learning and Teaching Task Specifications from Demonstrations
Submitted by Sanjit Seshia on January 10th, 2020
File
An Efficient Reachability-Based Framework for Provably Safe Navigation in Novel Environments
Claire Tomlin Submitted by Claire Tomlin on January 10th, 2020
File
Towards Assume-Guarantee Profiles for Autonomous Vehicles
Richard Murray Submitted by Richard Murray on January 10th, 2020
Subscribe to 1545126