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)
Next-Generation Lagrangian Reachtubes,
Gruenbacher, S., Cyranka J., Lechner M., Islam Md. A., Smolka S. A., and Grosu R.
, Proceedings of CDC 2020, 59th IEEE Conference on Decision and Control, 12/2020, (2020)
Verification of Neural ODEs with Stochastic Guarantees,
Gruenbacher, S., Cyranka J., Lechner M., Smolka S. A., and Grosu R.
, Proceedings of AAAI-21, 35th AAAI Conference on Artificial Intelligence, 02/2021, (2021)