Search papers, labs, and topics across Lattice.
1
0
2
Physics-informed neural networks, combined with formal verification, can now provide certifiable estimates of safe and robust domains of attraction for complex, uncertain dynamical systems.
