First name

Scott

Middle name

A

Last name

Smolka
Damare, A., Roy, S., Smolka, S. A., & Stoller, S. D. (2022). A Barrier Certificate-based Simplex Architecture with Application to Microgrids. 22nd International Conference on Runtime Verification (RV 2022), TBD.
View