Bayesian Neural Predictive Monitoring,
Bortolussi, L., Cairoli F., Paoletti N., Smolka S. A., and Stoller S. D.
, Proceedings of OVERLAY-20, Second Workshop on Formal Methods for AI, 09/2020, (2020)
Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding,
Roy, S., Mehmood U., Grosu R., Smolka S. A., Stoller S. D., and Tiwari A.
, Proceedings of ACC 2021, The 2021 American Control Conference, 06/2021, (2021)
A Distributed Simplex Architecture for Multi-Agent Systems,
Mehmood, U., Stoller S. D., Grosu R., Roy S., Damare A., and Smolka S. D.
, Proceedings of SETTA 2021, Symposium on Dependable Software Engineering, 11/2021, (2021)
Safe CPS from Unsafe Controllers,
Mehmood, U., Bak S., Smolka S. A., and Stoller S. D.
, Proceedings of CAADSPC 2001, the 2021 CPS-IoT Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 06/2021, (2021)