Browse by Subject "safety verification"
Now showing items 1-1 of 1
(2012-09-18)Automatic verification of cyber-physical systems (CPS) typically involves computing the reachable set of states of such systems. This computation is known to be exponential in the number of continuous variables. For systems ...