92 citations · 111 across the 12 of their papers we have counts for
6 papers · 1 filter
Knowledge of Uncertain Worlds: Programming with Logical Constraints
Yanhong A. Liu, Scott D. Stoller
Programming with logic for sophisticated applications must deal with recursion and negation, which together have created significant challenges in logic, leading to many different,…
A Decision Tree Learning Approach for Mining Relationship-Based Access Control Policies
Thang Bui, Scott D. Stoller
Relationship-based access control (ReBAC) provides a high level of expressiveness and flexibility that promotes security and information sharing, by allowing policies to be express…
Neural Flocking: MPC-based Supervised Learning of Flocking Controllers
Shouvik Roy, Usama Mehmood, Radu Grosu +3
We show how a distributed flocking controller can be synthesized using deep learning from a centralized controller which generates the trajectories of the flock. Our approach is ba…
Neural Simplex Architecture
Dung T. Phan, Radu Grosu, Nils Jansen +3
We present the Neural Simplex Architecture (NSA), a new approach to runtime assurance that provides safety guarantees for neural controllers (obtained e.g. using reinforcement lear…
Algorithm Diversity for Resilient Systems
Scott D. Stoller, Yanhong A. Liu
Diversity can significantly increase the resilience of systems, by reducing the prevalence of shared vulnerabilities and making vulnerabilities harder to exploit. Work on software…
Efficient and Extensible Policy Mining for Relationship-Based Access Control
Thang Bui, Scott D. Stoller, Hieu Le
Relationship-based access control (ReBAC) is a flexible and expressive framework that allows policies to be expressed in terms of chains of relationship between entities as well as…