Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
1545126
video
VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems
Submitted by Anonymous on Tue, 01/10/2023 - 5:19pm
1545126
1544714
1544924
CPS PI Meeting 2022
2022
file
Modeling and Influencing Human Attentiveness in Autonomy-to-Human Perception Hand-offs
Submitted by JasonGigax on Mon, 12/19/2022 - 11:38am. Contributors:
Sanjit A. Seshia
Yash Vardhan Pant
Balasaravanan Thoravi Kumaravel
Ameesh Shah
Erin Kraemer
Marcell Vazquez-Chanlatte
Kshitij Kulkarni
Björn Hartmann
Posters
1545126
CPS PI Meeting 2022
2022
file
Rules of the Road: Formal Guarantees for Autonomous Vehicles with Behavioral Contract Design
Submitted by Richard Murray on Wed, 06/09/2021 - 1:12pm. Contributors:
Richard Murray
Karena X. Cai
Tung Phan-Minh
Soon-Jo Chung
Poster
Transportation and Vehicles 2
1545126
CPS PI Meeting 2021
NSF
Poster
video
Control Improvisation for Cyber-Physical Systems
Submitted by saseshia on Thu, 05/14/2020 - 2:40pm
1646208
1545126
CPS PI Meeting 2019
file
Counterexample-Guided Synthesis of Perception Models and Control
Submitted by saseshia on Thu, 01/16/2020 - 5:02pm. Contributors:
Sanjit Seshia
Shromona Ghosh
Hadi Ravanbakhsh
control synthesis
Perception Modeling
Perception Error
formal methods
Posters
1545126
CPS PI Meeting 2019
2019
NSF
U.S. Government
Poster
file
Finding Safety-Critical Causes of Mode Confusion Using Model Checking
Submitted by Cynthia Sturton on Fri, 01/10/2020 - 4:45pm. Contributors:
Cynthia Sturton
Alyssa Byrnes
model checking
mode confusion
specification
Posters
1545126
CPS PI Meeting 2019
2019
NSF
U.S. Government
Poster
file
Control Improvisation for Cyber-Physical Systems
Submitted by saseshia on Fri, 01/10/2020 - 4:45pm. Contributors:
Daniel Fremont
Xiangyu Yue
Tommaso Dreossi
Shromona Ghosh
Alberto L. Sangiovanni-Vincentelli
Sanjit Seshia
control improvisation
Scenic scenario description language
synthetic data generation
randomized robotic planning
Posters
1646208
1545126
CPS PI Meeting 2019
2019
NSF
U.S. Government
Poster
file
Learning and Teaching Task Specifications from Demonstrations
Submitted by saseshia on Fri, 01/10/2020 - 4:45pm. Contributors:
Sanjit A. Seshia
Mark K. Ho
Marcell Vazquez-Chanlatte
Thomas L. Griffiths
Posters
1545126
CPS PI Meeting 2019
2019
NSF
U.S. Government
Poster
file
An Efficient Reachability-Based Framework for Provably Safe Navigation in Novel Environments
Submitted by Claire Tomlin on Fri, 01/10/2020 - 4:38pm. Contributors:
Andrea Bajcsy
Sanjit Seshia
Somil Bansal
Eli Bronstein
Varun Tolani
Claire Tomlin
Posters
1545126
CPS PI Meeting 2019
2019
NSF
U.S. Government
Poster
file
Towards Assume-Guarantee Profiles for Autonomous Vehicles
Submitted by Richard Murray on Fri, 01/10/2020 - 4:38pm. Contributors:
Richard Murray
Tung Minh-Phan
Karena X. Cai
Posters
1545126
CPS PI Meeting 2019
2019
NSF
U.S. Government
Poster
1
2
3
next ›
last »
