research
∙
09/10/2023
Certified Vision-based State Estimation for Autonomous Landing Systems using Reachability Analysis
This paper studies the problem of designing a certified vision-based sta...
share
research
∙
05/22/2023
DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation
Formal certification of Neural Networks (NNs) is crucial for ensuring th...
research
∙
04/25/2023
Model Extraction Attacks Against Reinforcement Learning Based Controllers
We introduce the problem of model-extraction attacks in cyber-physical s...
research
∙
02/24/2023
SEO: Safety-Aware Energy Optimization Framework for Multi-Sensor Neural Controllers at the Edge
Runtime energy management has become quintessential for multi-sensor aut...
research
∙
02/13/2023
EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency
To mitigate the high energy demand of Neural Network (NN) based Autonomo...
research
∙
10/11/2022
Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks
This paper presents a neurosymbolic framework to solve motion planning p...
research
∙
09/20/2022
Polynomial-Time Reachability for LTI Systems with Two-Level Lattice Neural Network Controllers
In this paper, we consider the computational complexity of bounding the ...
research
∙
05/20/2022
CertiFair: A Framework for Certified Global Fairness of Neural Networks
We consider the problem of whether a Neural Network (NN) model satisfies...
research
∙
04/11/2022
PolyARBerNN: A Neural Network Guided Solver and Optimizer for Bounded Polynomial Inequalities
Constraints solvers play a significant role in the analysis, synthesis, ...
research
∙
03/29/2022
NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing
In this paper, we consider the problem of formally verifying a Neural Ne...
research
∙
02/03/2022
VindiCo: Privacy Safeguard Against Adaptation Based Spyware in Human-in-the-Loop IoT
Personalized IoT adapts their behavior based on contextual information, ...
research
∙
11/17/2021
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks
In this paper, we present the tool Fast Box Analysis of Two-Level Lattic...
research
∙
09/21/2021
Assured Neural Network Architectures for Control and Identification of Nonlinear Systems
In this paper, we consider the problem of automatically designing a Rect...
research
∙
09/03/2021
Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach
While conventional reinforcement learning focuses on designing agents th...
research
∙
04/06/2021
Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers
In this paper, we consider the problem of repairing a data-trained Recti...
research
∙
02/22/2021
Provably Correct Training of Neural Network Controllers Using Reachability Analysis
In this paper, we consider the problem of training neural network (NN) c...
research
∙
12/22/2020
Bounding the Complexity of Formally Verifying Neural Networks: A Geometric Approach
In this paper, we consider the computational complexity of formally veri...
research
∙
06/18/2020
Effective Formal Verification of Neural Networks using the Geometry of Linear Regions
Neural Networks (NNs) have increasingly apparent safety implications com...
research
∙
06/16/2020
ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers
In this paper, we consider the problem of creating a safe-by-design Rect...
research
∙
04/20/2020
Two-Level Lattice Neural Network Architectures for Control of Nonlinear Systems
In this paper, we consider the problem of automatically designing a Rect...
research
∙
11/05/2019
AReN: Assured ReLU NN Architecture for Model Predictive Control of LTI Systems
In this paper, we consider the problem of automatically designing a Rect...
research
∙
04/03/2019
Securing State Estimation Under Sensor and Actuator Attacks: Theory and Design
This paper discusses the problem of estimating the state of a linear tim...
research
∙
10/31/2018
Formal Verification of Neural Network Controlled Autonomous Systems
In this paper, we consider the problem of formally verifying the safety ...
research
∙
09/07/2018