no code implementations • 8 Mar 2024 • Zhi Zhang, Chenyu Ma, Saleh Soudijani, Sadegh Soudjani
A novel data-driven method for formal verification is proposed to study complex systems operating in safety-critical domains.