Alert button
Picture for Scott D. Stoller

Scott D. Stoller

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

Learning Attribute-Based and Relationship-Based Access Control Policies with Unknown Values

Aug 26, 2020
Thang Bui, Scott D. Stoller

Figure 1 for Learning Attribute-Based and Relationship-Based Access Control Policies with Unknown Values
Figure 2 for Learning Attribute-Based and Relationship-Based Access Control Policies with Unknown Values
Figure 3 for Learning Attribute-Based and Relationship-Based Access Control Policies with Unknown Values
Figure 4 for Learning Attribute-Based and Relationship-Based Access Control Policies with Unknown Values
Viaarxiv icon

Recursive Rules with Aggregation: A Simple Unified Semantics

Jul 26, 2020
Yanhong A. Liu, Scott D. Stoller

Figure 1 for Recursive Rules with Aggregation: A Simple Unified Semantics
Figure 2 for Recursive Rules with Aggregation: A Simple Unified Semantics
Viaarxiv icon

Knowledge of Uncertain Worlds: Programming with Logical Constraints

Oct 23, 2019
Yanhong A. Liu, Scott D. Stoller

Figure 1 for Knowledge of Uncertain Worlds: Programming with Logical Constraints
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