|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Brandstatter, Andreas ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish ; Grosu, Radu | Multi-Agent Spatial Predictive Control with Application to Drone Flocking | Inproceedings Konferenzbeitrag  | 2023 |
| 2 | | Brandstätter, Andreas ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish ; Grosu, Radu | Towards Drone Flocking Using Relative Distance Measurements | Inproceedings Konferenzbeitrag | 17-Oct-2022 |
| 3 | | Grünbacher, Sophie ; Hasani, Ramin ; Lechner, Mathias ; Cyranka, Jacek ; Smolka, Scott A. ; Grosu, Radu | On The Verification of Neural ODEs with Stochastic Guarantees | Konferenzbeitrag Inproceedings | 2021 |
| 4 | | Roy, Shouvik ; Usama, Muhammad ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. | Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding | Konferenzbeitrag Inproceedings | 2021 |
| 5 | | Usama, Muhammad ; Stoller, Scott D. ; Grosu, Radu ; Roy, Shouvik ; Damare, Amol ; Smolka, Scott A. | A Distributed Simplex Architecture for Multi-agent Systems | Konferenzbeitrag Inproceedings | 2021 |
| 6 | | Usama, Muhammad ; Stoller, Scott D. ; Grosu, Radu ; Smolka, Scott A. | Collision-Free 3D Flocking Using the Distributed Simplex Architecture | Konferenzbeitrag Inproceedings | 2021 |
| 7 | | Shmarov, Fedor ; Soudjani, Sadegh ; Paoletti, Nicola ; Bartocci, Ezio ; Lin, Shan ; Smolka, Scott A. ; Zuliani, Paolo | Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems | Artikel Article | 2020 |
| 8 | | Phan, Dung ; Grosu, Radu ; Jansen, Nils ; Paoletti, Nicola ; Smolka, Scott A. ; Stoller, Scott D. | Neural simplex architecture | Konferenzbeitrag Inproceedings | 2020 |
| 9 | | Grosu, Radu ; Lukina, Anna ; Smolka, Scott A. ; Tiwari, Ashish ; Varadarajan, Vasudha ; Wang, Xingfang | V-Formation via Model Predictive Control | Preprint Preprint | 2020 |
| 10 | | Roy, Shouvik ; Mehmood, Usama ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish | Learning Distributed Controllers for V-Formation | Preprint Preprint | 2020 |
| 11 | | Grünbacher, Sophie ; Cyranka, Jacek ; Lechner, Mathias ; Islam, Ariful ; Smolka, Scott A. ; Grosu, Radu | Lagrangian Reachtubes: The Next Generation | Preprint Preprint | 2020 |
| 12 | | Grünbacher, Sophie ; Hasani, Ramin ; Lechner, Mathias ; Cyranka, Jacek ; Smolka, Scott A. ; Grosu, Radu | On The Verification of Neural ODEs with Stochastic Guarantees | Preprint Preprint | 2020 |
| 13 | | Mehmood, Usama ; Roy, Shouvik ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish | Neural Flocking: MPC-based Supervised Learning of Flocking Controllers | Konferenzbeitrag Inproceedings | 2020 |
| 14 | | Gruenbacher, Sophie ; Cyranka, Jacek ; Lechner, Mathias ; Islam, Md. Ariful ; Smolka, Scott A. ; Grosu, Radu | Lagrangian Reachtubes: The Next Generation | Konferenzbeitrag Inproceedings | 2020 |
| 15 | | Lukina, Anna ; Tiwari, Ashish ; Smolka, Scott A. ; Grosu, Radu | Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems | Konferenzbeitrag Inproceedings | 2019 |
| 16 | | Roy, Shouvik ; Mehmood, Usama ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish | Neural Flocking: MPC-based Supervised Learning of Flocking Controllers | Preprint Preprint | 2019 |
| 17 | | Phan, Dung ; Paoletti, Nicola ; Grosu, Radu ; Jansen, Nils ; Smolka, Scott A. ; Stoller, Scott D. | Neural Simplex Architecture | Preprint Preprint | 2019 |
| 18 | | Abbas, Houssam ; Rodionova, Alena ; Mamouras, Konstantinos ; Bartocci, Ezio ; Smolka, Scott A. ; Grosu, Radu | Quantitative Regular Expressions for Arrhythmia Detection | Artikel Article | 2019 |
| 19 | | Islam, Md. Ariful ; Cleaveland, Rance ; Fenton, Flavio H. ; Grosu, Radu ; Jones, Paul L. ; Smolka, Scott A. | Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans | Artikel Article | 2019 |
| 20 | | Legay, Axel ; Lukina, Anna ; Traonouez, Louis Marie ; Yang, Junxing ; Smolka, Scott A. ; Grosu, Radu | Statistical model checking | Buchbeitrag Book Contribution | 2019 |