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
Poster
file
CPS: Medium: Collaborative Research: Learning and Verifying Conformant Data-Driven Models for Cyber-Physical Systems
Submitted by fainekos on Wed, 06/09/2021 - 12:36pm. Contributors:
Georgios Fainekos
Sriram Sankaranarayanan
Christoffer Heckman
Sina Aghli
Heni Ben-Amor
Learning and Verifying Conformant Data-Driven Models for Cyber-Physical Systems. (PI), , Georgios Fainekosand
Poster
Verification and IoT
1932068
1932189
CPS PI Meeting 2021
NSF
Poster
file
CPS: Medium: Collaborative Research: Certifiable reinforcement learning for cyber-physical systems
Submitted by scoogan3 on Wed, 06/09/2021 - 12:36pm. Contributors:
Sam Coogan
Sam Burden
Lillian Ratliff
Poster
Verification and IoT
1836819
CPS PI Meeting 2021
NSF
Poster
file
CPS: Medium: GOALI: Enabling Scalable Real-Time Certification for AI-Oriented Safety-Critical Systems
Submitted by Jim Anderson on Wed, 06/09/2021 - 12:36pm. Contributors:
James Anderson
Don Smith
Ron Alterovitz
Prakash Sarathy
Poster
Verification and IoT
2038855
CPS PI Meeting 2021
NSF
Poster
file
CPS: Small: Uncertainty-aware Framework for Specifying, Designing and Verifying Cyber-Physical Systems
Submitted by Anonymous on Wed, 06/09/2021 - 12:36pm. Contributors:
Paul Bogdan
J. Deshmukh
Poster
Verification and IoT
1932620
CPS PI Meeting 2021
NSF
Poster
file
CPS: Medium: Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation
Submitted by AAmes on Wed, 06/09/2021 - 12:36pm. Contributors:
Aaron Ames
Richard M. Murray
Poster
Verification and IoT
1932091
CPS PI Meeting 2021
NSF
Poster
file
CPS: Frontier: Collaborative Research: VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems
Submitted by saseshia on Wed, 06/09/2021 - 12:15pm. Contributors:
Sanjit Seshia
Daniel Fremont
Poster
Transportation and Vehicles 2
1544714
CPS PI Meeting 2021
NSF
Poster
file
CPS: Synergy: Collaborative Research: Adaptive Intelligence for Cyber-Physical Automotive Active Safety - System Design and Eval
Submitted by tsiotras on Wed, 06/09/2021 - 12:12pm. Contributors:
Panagiotis Tsiotras
Karen Feigh
Laurent Itti
Poster
Transportation and Vehicles 2
tsiotras
CPS PI Meeting 2021
NSF
Poster
file
Wan_1714519-CAREER-Poster-2021_0.pdf
Submitted by Yan Wan on Wed, 06/09/2021 - 12:12pm. Contributor:
Yan Wan
Poster
Transportation and Vehicles 2
1714519
CPS PI Meeting 2021
NSF
Poster
file
CAREER: Theoretical Foundations of the UAS in the NAS Problem (Unmanned Aerial Systems in the National Air Space)
Submitted by kyrozier on Wed, 06/09/2021 - 12:12pm. Contributor:
Kristin Rozier
Poster
Transportation and Vehicles 2
1664356
CPS PI Meeting 2021
NSF
Poster
file
CRII: CPS: Emerging Markets and Myopic Decision-Making in Multi-Modal Transportation Systems: Modeling and Validation
Submitted by ratlifflj on Wed, 06/09/2021 - 12:12pm. Contributor:
Lillian Ratliff
Poster
Transportation and Vehicles 2
1656873
CPS PI Meeting 2021
NSF
Poster
« first
‹ previous
…
38
39
40
41
42
43
44
45
46
…
next ›
last »