ACAS Xu

Researchers develop new method for probabilistic verification of neural networks

Researchers have developed a new framework for probabilistically verifying neural networks, addressing the challenge of ensuring safety when inputs are subject to probabilistic disturbances. The method utilizes a state …