DMCA

State estimation and property-guided exploration for hybrid systems testing

by Thao Dang , Noa Shalev