Skip to main navigation Skip to search Skip to main content
No photo of Sayan Mitra

View Scopus Profile

Sayan Mitra

Fingerprint

Fingerprint is based on mining the text of the expert's scholarly documents to create an index of weighted terms, which defines the key subjects of each individual researcher.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy

    Peper, J., Miao, Y., Mitra, S. & Ruchkin, I., 2026, Automated Technology for Verification and Analysis - 23rd International Symposium, ATVA 2025, Proceedings. D’Souza, M., Komondoor, R. & Srivathsan, B. (eds.). Springer, p. 231-259 29 p. (Lecture Notes in Computer Science; vol. 16145 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • FalconGym: A Photorealistic Simulation Framework for Zero-Shot Sim-to-Real Vision-Based Quadrotor Navigation

    Miao, Y., Shen, W. & Mitra, S., 2025, IROS 2025 - 2025 IEEE/RSJ International Conference on Intelligent Robots and Systems, Conference Proceedings. Laugier, C., Renzaglia, A., Atanasov, N., Birchfield, S., Cielniak, G., De Mattos, L., Fiorini, L., Giguere, P., Hashimoto, K., Ibanez-Guzman, J., Kamegawa, T., Lee, J., Loianno, G., Luck, K., Maruyama, H., Martinet, P., Moradi, H., Nunes, U., Pettre, J., Pretto, A., Ranzani, T., Ronnau, A., Rossi, S., Rouse, E., Ruggiero, F., Simonin, O., Wang, D., Yang, M., Yoshida, E. & Zhao, H. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 17154-17161 8 p. (IEEE International Conference on Intelligent Robots and Systems ).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Formal Verification Techniques for Vision-Based Autonomous Systems – A Survey

    Mitra, S., Păsăreanu, C., Prabhakar, P., Seshia, S. A., Mangal, R., Li, Y., Watson, C., Gopinath, D. & Yu, H., 2025, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 89-108 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15262 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Indistinguishability in Localization and Control with Coarse Information

    Liberzon, D. & Mitra, S., May 21 2025, HSCC 2025 - Proceedings of the 28th International Conference on Hybrid Systems: Computation and Control, part of CPS-IoT Week. Association for Computing Machinery, 12. (HSCC 2025 - Proceedings of the 28th International Conference on Hybrid Systems: Computation and Control, part of CPS-IoT Week).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Lyapunov Perception Contracts for Operating Design Domains

    Li, Y., Ji, C., Anchalia, J., Jia, Y., Yang, B. C., Zhuang, D. & Mitra, S., 2025, In: Proceedings of Machine Learning Research. 283, p. 1053-1065 13 p.

    Research output: Contribution to journal › Conference article › peer-review

View all 150 Research outputs