On Infusing Reachability-Based Safety Assurance Within Probabilistic Planning Frameworks for Human-Robot Vehicle Interactions

Leung, Karen / Schmerling, Edward / Chen, Mo et al. | Springer Verlag | 2020

Infusing software assurance research techniques into use

Pressburger, T. / Di Vito, B. / Feather, M.S. et al. | IEEE | 2006

A System-Based Safety Assurance Framework for Human-Vehicle Interactions

Jennings, Paul / Chen, Shufeng / Khastgir, Siddartha | SAE Technical Papers | 2023

A System-Based Safety Assurance Framework for Human-Vehicle Interactions

Chen, Shufeng / Khastgir, Siddartha / Jennings, Paul | British Library Conference Proceedings | 2023

Establishing a Framework and Testbed for Evaluating and Infusing Software Assurance Tools

Nikora, Allen / Port, Dan / Wilf, Joel | NTRS | 2011