SMT-based Control Safety Property Checking in Cyber-Physical Systems under Timing Uncertainties.

Anand Yeolekar, Ravindra Metta, Samarjit Chakraborty

Browse the full VLSID paper archive.