24 citations · 56 across the 12 of their papers we have counts for
1 paper · 1 filter
Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini
Hybrid system falsification is an actively studied topic, as a scalable quality assurance methodology for real-world cyber-physical systems. In falsification, one employs stochasti…