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

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