Full name Familienname, Vorname
Stoller, Scott D.
 

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Usama, Muhammad ; Stoller, Scott D. ; Grosu, Radu ; Smolka, Scott A. Collision-Free 3D Flocking Using the Distributed Simplex ArchitectureKonferenzbeitrag Inproceedings 2021
2Usama, Muhammad ; Stoller, Scott D. ; Grosu, Radu ; Roy, Shouvik ; Damare, Amol ; Smolka, Scott A. A Distributed Simplex Architecture for¬†Multi-agent SystemsKonferenzbeitrag Inproceedings 2021
3Roy, Shouvik ; Usama, Muhammad ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. Distributed Control for Flocking Maneuvers via Acceleration-Weighted NeighborhoodingKonferenzbeitrag Inproceedings 2021
4Mehmood, Usama ; Roy, Shouvik ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish Neural Flocking: MPC-based Supervised Learning of Flocking ControllersKonferenzbeitrag Inproceedings2020
5Phan, Dung ; Grosu, Radu ; Jansen, Nils ; Paoletti, Nicola ; Smolka, Scott A. ; Stoller, Scott D. Neural simplex architectureKonferenzbeitrag Inproceedings2020
6Roy, Shouvik ; Mehmood, Usama ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish Learning Distributed Controllers for V-FormationPreprint Preprint2020
7Mehmood, Usama ; Stoller, Scott D. ; Grosu, Radu ; Roy, Shouvik ; Damare, Amol A Distributed Simplex Architecture for Multi-Agent SystemsPreprint Preprint2020
8Phan, Dung ; Paoletti, Nicola ; Grosu, Radu ; Jansen, Nils ; Smolka, Scott A. ; Stoller, Scott D. Neural Simplex ArchitecturePreprint Preprint2019
9Roy, Shouvik ; Mehmood, Usama ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish Neural Flocking: MPC-based Supervised Learning of Flocking ControllersPreprint Preprint2019
10Mehmood, Usama ; Paoletti, Nicola ; Phan, Dung ; Grosu, Radu ; Lin, Shan ; Stoller, Scott D. ; Tiwari, Ashish ; Yang, Junxing ; Smolka, Scott A. Declarative vs rule-based control for flocking dynamicsKonferenzbeitrag Inproceedings 2018
11Phan, Dung ; Paoletti, Nicola ; Zhang, Timothy ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. Neural State Classification for Hybrid SystemsKonferenzbeitrag Inproceedings 2018
12Phan, Dung ; Yang, Junxing ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving ObstaclesArtikel Article2017
13Phan, Dung ; Yang, Junxing ; Ratasich, Denise ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the EnvironmentKonferenzbeitrag Inproceedings 2015
14Ariful, Islam ; Deshpande, Tushar ; Murthy, Abhishek ; Bartocci, Ezio ; Smolka, Scott A. ; Stoller, Scott D. ; Grosu, Radu Tracking Action Potentials of Nonlinear Excitable Cells using Model Predictive ControlKonferenzbeitrag Inproceedings 2014
15Grosu, Radu ; Peled, Doron ; Ramakrishnan, C.R. ; Smolka, Scott A. ; Stoller, Scott D. ; Yang, Junxing Using Statistical Model Checking for Measuring SystemsKonferenzbeitrag Inproceedings2014
16Kalajdzic, Kenan ; Bartocci, Ezio ; Stoller, Scott D. ; Smolka, Scott A. ; Grosu, Radu Runtime Verification with Particle FilteringKonferenzbeitrag Inproceedings 2013
17Bartocci, Ezio ; Grosu, Radu ; Karmarkar, Atul ; Smolka, Scott A. ; Stoller, Scott D. ; Seyster, Justin Adaptive Runtime VerificationKonferenzbeitrag Inproceedings 2012
18Huang, Xiaowan ; Seyster, Justin ; Callanan, Sean ; Dixit, Ketan ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. ; Zadok, Erez Software monitoring with controllable overheadArtikel Article2012
19Seyster, Justin ; Dixit, Ketan ; Huang, Xiaowan ; Grosu, Radu ; Havelund, Klaus ; Smolka, Scott A. ; Stoller, Scott D. ; Zadok, Erez InterAspect: aspect-oriented instrumentation with GCCArtikel Article2012
20Stoller, Scott D. ; Bartocci, Ezio ; Seyster, Justin ; Grosu, Radu ; Havelund, Klaus ; Smolka, Scott A. ; Zadok, Erez Runtime Verification with State EstimationKonferenzbeitrag Inproceedings 2012