Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

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


Oct 03, 2022
Chiao Hsieh, Yangge Li, Yubin Koh, Sayan Mitra

Add code

* 7 pages, 9 figures, submitted to the 40th IEEE Conference on Robotics and Automation (ICRA 2023) 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Learning Certifiably Robust Controllers Using Fragile Perception


Sep 22, 2022
Dawei Sun, Negin Musavi, Geir Dullerud, Sanjay Shakkottai, Sayan Mitra

Add code


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos


Aug 09, 2022
Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic

Add code


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Multi-agent Motion Planning from Signal Temporal Logic Specifications


Jan 13, 2022
Dawei Sun, Jingkai Chen, Sayan Mitra, Chuchu Fan

Add code

* Accepted to IEEE Robotics and Automation Letters (RA-L) 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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


Nov 10, 2021
Chiao Hsieh, Keyur Joshi, Sasa Misailovic, Sayan Mitra

Add code

* 12 pages, 9 figures, submitted to HSCC 2022 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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


Nov 21, 2020
Hussein Sibai, Yangge Li, Sayan Mitra

Add code


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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


Sep 10, 2020
Chiao Hsieh, Hussein Sibai, Hebron Taylor, Sayan Mitra

Add code

* 15 pages, 9 figures 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Differential Privacy for Sequential Algorithms


Apr 01, 2020
Yu Wang, Hussein Sibai, Sayan Mitra, Geir E. Dullerud

Add code


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Optimistic Optimization for Statistical Model Checking with Regret Bounds


Nov 04, 2019
Negin Musavi, Dawei Sun, Sayan Mitra, Geir Dullerud, Sanjay Shakkottai

Add code

* 24 pages, 7 figures 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email
1
2
>>