Name Card

Full name Familienname, Vorname
Smolka, Scott A.
 

Own Publications Eigene Publikationen

Results 1-20 of 53 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Brandstatter, Andreas ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish ; Grosu, Radu Multi-Agent Spatial Predictive Control with Application to Drone FlockingInproceedings Konferenzbeitrag 2023
2Brandstätter, Andreas ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish ; Grosu, Radu Towards Drone Flocking Using Relative Distance MeasurementsInproceedings Konferenzbeitrag 17-Oct-2022
3Grünbacher, Sophie ; Hasani, Ramin ; Lechner, Mathias ; Cyranka, Jacek ; Smolka, Scott A. ; Grosu, Radu On The Verification of Neural ODEs with Stochastic GuaranteesKonferenzbeitrag Inproceedings2021
4Roy, Shouvik ; Usama, Muhammad ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. Distributed Control for Flocking Maneuvers via Acceleration-Weighted NeighborhoodingKonferenzbeitrag Inproceedings 2021
5Usama, Muhammad ; Stoller, Scott D. ; Grosu, Radu ; Roy, Shouvik ; Damare, Amol ; Smolka, Scott A. A Distributed Simplex Architecture for Multi-agent SystemsKonferenzbeitrag Inproceedings 2021
6Usama, Muhammad ; Stoller, Scott D. ; Grosu, Radu ; Smolka, Scott A. Collision-Free 3D Flocking Using the Distributed Simplex ArchitectureKonferenzbeitrag Inproceedings 2021
7Shmarov, 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 SystemsArtikel Article 2020
8Phan, Dung ; Grosu, Radu ; Jansen, Nils ; Paoletti, Nicola ; Smolka, Scott A. ; Stoller, Scott D. Neural simplex architectureKonferenzbeitrag Inproceedings2020
9Grosu, Radu ; Lukina, Anna ; Smolka, Scott A. ; Tiwari, Ashish ; Varadarajan, Vasudha ; Wang, Xingfang V-Formation via Model Predictive ControlPreprint Preprint2020
10Roy, Shouvik ; Mehmood, Usama ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish Learning Distributed Controllers for V-FormationPreprint Preprint2020
11Grünbacher, Sophie ; Cyranka, Jacek ; Lechner, Mathias ; Islam, Ariful ; Smolka, Scott A. ; Grosu, Radu Lagrangian Reachtubes: The Next GenerationPreprint Preprint2020
12Grünbacher, Sophie ; Hasani, Ramin ; Lechner, Mathias ; Cyranka, Jacek ; Smolka, Scott A. ; Grosu, Radu On The Verification of Neural ODEs with Stochastic GuaranteesPreprint Preprint2020
13Mehmood, Usama ; Roy, Shouvik ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish Neural Flocking: MPC-based Supervised Learning of Flocking ControllersKonferenzbeitrag Inproceedings2020
14Gruenbacher, Sophie ; Cyranka, Jacek ; Lechner, Mathias ; Islam, Md. Ariful ; Smolka, Scott A. ; Grosu, Radu Lagrangian Reachtubes: The Next GenerationKonferenzbeitrag Inproceedings2020
15Lukina, Anna ; Tiwari, Ashish ; Smolka, Scott A. ; Grosu, Radu Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systemsKonferenzbeitrag Inproceedings2019
16Roy, Shouvik ; Mehmood, Usama ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish Neural Flocking: MPC-based Supervised Learning of Flocking ControllersPreprint Preprint2019
17Phan, Dung ; Paoletti, Nicola ; Grosu, Radu ; Jansen, Nils ; Smolka, Scott A. ; Stoller, Scott D. Neural Simplex ArchitecturePreprint Preprint2019
18Abbas, Houssam ; Rodionova, Alena ; Mamouras, Konstantinos ; Bartocci, Ezio ; Smolka, Scott A. ; Grosu, Radu Quantitative Regular Expressions for Arrhythmia DetectionArtikel Article 2019
19Islam, Md. Ariful ; Cleaveland, Rance ; Fenton, Flavio H. ; Grosu, Radu ; Jones, Paul L. ; Smolka, Scott A. Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternansArtikel Article 2019
20Legay, Axel ; Lukina, Anna ; Traonouez, Louis Marie ; Yang, Junxing ; Smolka, Scott A. ; Grosu, Radu Statistical model checkingBuchbeitrag Book Contribution2019