A Runtime Verification Framework for Control System Simulation.

Selim Ciraci, Jason C. Fuller, Jeff A. Daily, Atefe Makhmalbaf, David Callahan

Browse the full COMPSAC paper archive.