Overcoming Rigorous Verification Challenges in Autonomous Systems Development
While it is tempting to use formal methods ‘for everything’, it is more effective to use the right mix of methods at the required level of verification and validation for developing and deploying L3+ autonomous systems.
February 1, 2021
Technology