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

University of Illinois at Urbana-Champaign

Multi-agent Motion Planning from Signal Temporal Logic Specifications

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

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

  Access Paper or Ask Questions

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

* 12 pages, 9 figures, submitted to HSCC 2022 

  Access Paper or Ask Questions

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

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

  Access Paper or Ask Questions

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

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

* 15 pages, 9 figures 

  Access Paper or Ask Questions

Differential Privacy for Sequential Algorithms

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

  Access Paper or Ask Questions

Optimistic Optimization for Statistical Model Checking with Regret Bounds

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

* 24 pages, 7 figures 

  Access Paper or Ask Questions

Online monitoring for safe pedestrian-vehicle interactions

Oct 12, 2019
Peter Du, Zhe Huang, Tianqi Liu, Ke Xu, Qichao Gao, Hussein Sibai, Katherine Driggs-Campbell, Sayan Mitra

* 15 pages, 5 figures, 

  Access Paper or Ask Questions

CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination

Oct 10, 2019
Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra, Geir Dullerud

  Access Paper or Ask Questions

Porting Code Across Simple Mobile Robots

Mar 02, 2016
Yixiao Lin, Sayan Mitra, Shuting Li

  Access Paper or Ask Questions

Safe and Stabilizing Distributed Multi-Path Cellular Flows

Oct 11, 2012
Taylor T. Johnson, Sayan Mitra

* An earlier version of this paper appeared in the 30th IEEE International Conference on Distributed Computing Systems (ICDCS 2010) 

  Access Paper or Ask Questions