Picture for Scott D. Stoller

Scott D. Stoller

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

Add code
Mar 31, 2022
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

Add code
Feb 20, 2022
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

Add code
Aug 26, 2020
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

Add code
Jul 26, 2020
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

Add code
Oct 23, 2019
Figure 1 for Knowledge of Uncertain Worlds: Programming with Logical Constraints
Viaarxiv icon

Neural Simplex Architecture

Add code
Aug 01, 2019
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

Add code
Jul 26, 2018
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

Add code
Dec 05, 2017
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

Founded Semantics and Constraint Semantics of Logic Rules

Add code
Apr 15, 2017
Figure 1 for Founded Semantics and Constraint Semantics of Logic Rules
Viaarxiv icon

A survey on unmanned aerial vehicle collision avoidance systems

Add code
Aug 31, 2015
Viaarxiv icon