Technical Databases and Reports
Unmanned Aerial Vehicle Database
O. Dantsker, R. Mancuso, M. Vahora, and M.Caccamo
UIUC Propeller Database
J. Brandt, R. Deters, G. Ananda, O. Dantsker, and M. Selig
Reset-Based Recovery for Real-Time Cyber-Physical Systems with Temporal Safety Constraints
F. Abdi, S. Bak, R. Mancuso, O. Dantsker, and M. Caccamo