Picture for Sayan Mitra

Sayan Mitra

Coordinated Science Laboratory at the University of Illinois at Urbana-Champaign

Assuring safety of vision-based swarm formation control

Add code
Oct 03, 2022
Figure 1 for Assuring safety of vision-based swarm formation control
Figure 2 for Assuring safety of vision-based swarm formation control
Figure 3 for Assuring safety of vision-based swarm formation control
Figure 4 for Assuring safety of vision-based swarm formation control
Viaarxiv icon

Learning Certifiably Robust Controllers Using Fragile Perception

Add code
Sep 22, 2022
Figure 1 for Learning Certifiably Robust Controllers Using Fragile Perception
Figure 2 for Learning Certifiably Robust Controllers Using Fragile Perception
Figure 3 for Learning Certifiably Robust Controllers Using Fragile Perception
Viaarxiv icon

Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos

Add code
Aug 09, 2022
Figure 1 for Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos
Figure 2 for Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos
Figure 3 for Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos
Figure 4 for Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos
Viaarxiv icon

Multi-agent Motion Planning from Signal Temporal Logic Specifications

Add code
Jan 13, 2022
Figure 1 for Multi-agent Motion Planning from Signal Temporal Logic Specifications
Figure 2 for Multi-agent Motion Planning from Signal Temporal Logic Specifications
Figure 3 for Multi-agent Motion Planning from Signal Temporal Logic Specifications
Viaarxiv icon

Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions

Add code
Nov 10, 2021
Figure 1 for Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions
Figure 2 for Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions
Figure 3 for Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions
Figure 4 for Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions
Viaarxiv icon

SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification

Add code
Nov 21, 2020
Figure 1 for SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification
Figure 2 for SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification
Figure 3 for SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification
Figure 4 for SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification
Viaarxiv icon

Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation

Add code
Sep 10, 2020
Figure 1 for Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation
Figure 2 for Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation
Figure 3 for Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation
Figure 4 for Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation
Viaarxiv icon

Differential Privacy for Sequential Algorithms

Add code
Apr 01, 2020
Figure 1 for Differential Privacy for Sequential Algorithms
Viaarxiv icon

Optimistic Optimization for Statistical Model Checking with Regret Bounds

Add code
Nov 04, 2019
Figure 1 for Optimistic Optimization for Statistical Model Checking with Regret Bounds
Figure 2 for Optimistic Optimization for Statistical Model Checking with Regret Bounds
Figure 3 for Optimistic Optimization for Statistical Model Checking with Regret Bounds
Figure 4 for Optimistic Optimization for Statistical Model Checking with Regret Bounds
Viaarxiv icon

Online monitoring for safe pedestrian-vehicle interactions

Add code
Oct 12, 2019
Figure 1 for Online monitoring for safe pedestrian-vehicle interactions
Figure 2 for Online monitoring for safe pedestrian-vehicle interactions
Figure 3 for Online monitoring for safe pedestrian-vehicle interactions
Figure 4 for Online monitoring for safe pedestrian-vehicle interactions
Viaarxiv icon