# Browse by Subject "safety verification"

• (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 ...

application/pdf

PDF (558Kb)