File
Formal Methods for Systems
Submitted by Raymond Richards on January 14th, 2021
File
Use Case for Formal Methods: Model-Integration Platform for CPS Design
Janos Sztipanovits Submitted by Janos Sztipanovits on January 14th, 2021
File
Trustworthy AI: New Properties for New Complex Systems
Submitted by Jeannette Wing on January 14th, 2021
File
DLR Internship Presentation: F-RELACS
Katie Dey Submitted by Katie Dey on September 30th, 2019
File
Decentralized Optimization of Vehicle Route Planning: A Cross-City Comparative Study
Katie Dey Submitted by Katie Dey on September 30th, 2019
File
Model-based Design for Cyber-Physical Systems with Learning-Enabled Components
Katie Dey Submitted by Katie Dey on September 30th, 2019
File
Decentralized Optimization of Vehicle Route Planning
Katie Dey Submitted by Katie Dey on September 30th, 2019
File
Model-based Assurance for Autonomous Vehicles
Katie Dey Submitted by Katie Dey on September 30th, 2019
File
Civil Society and Public Opinion Perspectives on Autonomous Vehicles in the U.S.
Katie Dey Submitted by Katie Dey on March 25th, 2019
File
System-Level Design Under Confidentially and Integrity Constraints
Katie Dey Submitted by Katie Dey on February 25th, 2019
Subscribe to Presentation