14 citations · 15 across the 4 of their papers we have counts for
1 paper · 1 filter
Dung Phan, Scott A. Smolka, Radu Grosu +3
We present a novel approach to the problem of model checking cyber-physical systems. We transform the model checking problem to an optimization one by designing an objective functi…