Alert button
Picture for Scott A. Smolka

Scott A. Smolka

Alert button

Multi-Agent Spatial Predictive Control with Application to Drone Flocking (Extended Version)

Mar 31, 2022
Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu

Figure 1 for Multi-Agent Spatial Predictive Control with Application to Drone Flocking (Extended Version)
Figure 2 for Multi-Agent Spatial Predictive Control with Application to Drone Flocking (Extended Version)
Figure 3 for Multi-Agent Spatial Predictive Control with Application to Drone Flocking (Extended Version)
Figure 4 for Multi-Agent Spatial Predictive Control with Application to Drone Flocking (Extended Version)
Viaarxiv icon

Runtime-Assured, Real-Time Neural Control of Microgrids

Feb 20, 2022
Amol Damare, Shouvik Roy, Scott A. Smolka, Scott D. Stoller

Figure 1 for Runtime-Assured, Real-Time Neural Control of Microgrids
Figure 2 for Runtime-Assured, Real-Time Neural Control of Microgrids
Figure 3 for Runtime-Assured, Real-Time Neural Control of Microgrids
Figure 4 for Runtime-Assured, Real-Time Neural Control of Microgrids
Viaarxiv icon

On The Verification of Neural ODEs with Stochastic Guarantees

Dec 16, 2020
Sophie Gruenbacher, Ramin Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu

Figure 1 for On The Verification of Neural ODEs with Stochastic Guarantees
Figure 2 for On The Verification of Neural ODEs with Stochastic Guarantees
Figure 3 for On The Verification of Neural ODEs with Stochastic Guarantees
Viaarxiv icon

Lagrangian Reachtubes: The Next Generation

Dec 14, 2020
Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu

Figure 1 for Lagrangian Reachtubes: The Next Generation
Figure 2 for Lagrangian Reachtubes: The Next Generation
Figure 3 for Lagrangian Reachtubes: The Next Generation
Figure 4 for Lagrangian Reachtubes: The Next Generation
Viaarxiv icon

MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas

Mar 03, 2020
Hongkai Chen, Nicola Paoletti, Scott A. Smolka, Shan Lin

Figure 1 for MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas
Figure 2 for MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas
Figure 3 for MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas
Figure 4 for MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas
Viaarxiv icon

Neural Simplex Architecture

Aug 01, 2019
Dung Phan, Nicola Paoletti, Radu Grosu, Nils Jansen, Scott A. Smolka, Scott D. Stoller

Figure 1 for Neural Simplex Architecture
Figure 2 for Neural Simplex Architecture
Figure 3 for Neural Simplex Architecture
Figure 4 for Neural Simplex Architecture
Viaarxiv icon

Neural State Classification for Hybrid Systems

Jul 26, 2018
Dung Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller

Figure 1 for Neural State Classification for Hybrid Systems
Figure 2 for Neural State Classification for Hybrid Systems
Figure 3 for Neural State Classification for Hybrid Systems
Viaarxiv icon

How to Learn a Model Checker

Dec 05, 2017
Dung Phan, Radu Grosu, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller

Figure 1 for How to Learn a Model Checker
Figure 2 for How to Learn a Model Checker
Figure 3 for How to Learn a Model Checker
Figure 4 for How to Learn a Model Checker
Viaarxiv icon

ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans

Dec 21, 2016
Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu

Figure 1 for ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
Figure 2 for ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
Figure 3 for ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
Figure 4 for ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
Viaarxiv icon

A survey on unmanned aerial vehicle collision avoidance systems

Aug 31, 2015
Hung Pham, Scott A. Smolka, Scott D. Stoller, Dung Phan, Junxing Yang

Viaarxiv icon