18 citations · 32 across the 5 of their papers we have counts for
1 paper · 1 filter
Minghui Sun, Cody H. Fleming
With the rapid advancement of Formal Methods, Model-based Safety Analysis (MBSA) has been gaining tremendous attention for its ability to rigorously verify whether the safety-criti…