. (2017). Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving Obstacles. Formal Methods In System Design. (Original work published 2017)
R. Grosu
First name
R.
Last name
Grosu
. (2016). Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and δ-Decidability. Nonlinear Analysis: Hybrid Systems. (Original work published 2016)
. (2015). Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation. Theoretical Computer Science, 599C. (Original work published 2015)
. (2021). A Distributed Simplex Architecture for Multi-Agent Systems. Proceedings of SETTA 2021, Symposium on Dependable Software Engineering. Presented at the. (Original work published 2021)
. (2021). Collision-Free 3D Flocking Using the Distributed Simplex Architecture. Proceedings of ISoLA Extra in Rhodes. Presented at the. (Original work published 2021)
. (2021). Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding. Proceedings of ACC 2021, The 2021 American Control Conference. Presented at the. (Original work published 2021)
. (2021). Verification of Neural ODEs with Stochastic Guarantees. Proceedings of AAAI-21, 35th AAAI Conference on Artificial Intelligence. Presented at the. (Original work published 2021)
. (2020). Next-Generation Lagrangian Reachtubes. Proceedings of CDC 2020, 59th IEEE Conference on Decision and Control. Presented at the. (Original work published 2020)