Search papers, labs, and topics across Lattice.
Affiliation:
1
0
The overall conclusion is that formal verification is a viable complement to simulation, and could be adopted as a part of verification and validation for automated driving.
