[PDF][PDF] Model Validation and Uncertainty Aggregation for Safety Assessment of Automated Vehicles
S Riedmaier - 2022 - opus4.kobv.de
This dissertation presents a methodology for validation of simulation models to ensure
virtual safeguarding of automated vehicles. The methodology quantifies model uncertainties …
virtual safeguarding of automated vehicles. The methodology quantifies model uncertainties …
Automated vehicle safety simulation using safety quotient method
E Schwalb - US Patent 11,354,458, 2022 - Google Patents
Examples described herein relate to apparatuses and methods for or simulating and
improving performance of an artificial intelligence (AI) driver, including but not limited to …
improving performance of an artificial intelligence (AI) driver, including but not limited to …
[图书][B] Formal Methods for Scalable Synthesis and Verification of Autonomous Systems: Mission Planning and Collision Avoidance
R Gu - 2022 - search.proquest.com
Autonomous systems (aka, agents) are often designed to move and execute tasks, without
or with little human intervention. As the agents are often involved in safety-or mission-critical …
or with little human intervention. As the agents are often involved in safety-or mission-critical …
Using Formal Frameworks to Reduce Mode Confusion in Cyber-Physical Human-in-the-Loop Systems
A Byrnes - 2022 - search.proquest.com
In situations where humans and computers cooperate, mode confusion on the part of the
human can be dangerous. This work presents two methodologies for evaluating a semi …
human can be dangerous. This work presents two methodologies for evaluating a semi …