Frontiers | Formal Verification of Neural Networks-Based Control Architecture for Safety-Critical...
With increase in the applications of autonomous systems, in both civilian and military domains, it has become increasingly important to provide formal guaran...
frontiersin.org