1 citations · 1 across the 1 of their papers we have counts for
1 paper
Zhi Zhang, Chenyu Ma, Saleh Soudijani +1
A novel data-driven method for formal verification is proposed to study complex systems operating in safety-critical domains. The proposed approach is able to formally verify discr…