Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic
M Hekmatnejad, B Hoxha… - … Journal of Robotics …, 2024 - journals.sagepub.com
Automated vehicles (AV) heavily depend on robust perception systems. Current methods for
evaluating vision systems focus mainly on frame-by-frame performance. Such evaluation …
evaluating vision systems focus mainly on frame-by-frame performance. Such evaluation …
[HTML][HTML] Bridging formal methods and machine learning with model checking and global optimisation
Formal methods and machine learning are two research fields with drastically different
foundations and philosophies. Formal methods utilise mathematically rigorous techniques …
foundations and philosophies. Formal methods utilise mathematically rigorous techniques …
Formal Requirements Toolkit for Testing and Monitoring Temporal Logic-based Specifications
JW Anderson - 2023 - search.proquest.com
Testing and verification is an essential procedure to assert a system adheres to some notion
of safety. To validate such assertions, monitoring has provided an effective solution to …
of safety. To validate such assertions, monitoring has provided an effective solution to …