If you made any changes in Pure these will be visible here soon.

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.
  • 6 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots.
  • CyPhyHouse: A programming, simulation, and deployment toolchain for heterogeneous distributed coordination

    Ghosh, R., Jansch-Porto, J. P., Hsieh, C., Gosse, A., Jiang, M., Taylor, H., Du, P., Mitra, S. & Dullerud, G., May 2020, 2020 IEEE International Conference on Robotics and Automation, ICRA 2020. Institute of Electrical and Electronics Engineers Inc., p. 6654-6660 7 p. 9196513. (Proceedings - IEEE International Conference on Robotics and Automation).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models

    Fan, C., Miller, K. & Mitra, S., 2020, Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings. Lahiri, S. K. & Wang, C. (eds.). Springer, p. 629-652 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12224 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Multi-agent safety verification using symmetry transformations

    Sibai, H., Mokhlesi, N., Fan, C. & Mitra, S., 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part I. Biere, A. & Parker, D. (eds.). Springer, p. 173-190 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12078 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Dione: A Protocol Verification System Built with Dafny for I/O Automata

    Hsieh, C. & Mitra, S., Jan 1 2019, Integrated Formal Methods - 15th International Conference, IFM 2019, Proceedings. Ahrendt, W. & Tapia Tarifa, S. L. (eds.). Springer, p. 227-245 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11918 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification

    Sibai, H., Mokhlesi, N. & Mitra, S., Jan 1 2019, Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings. Chen, Y-F., Cheng, C-H. & Esparza, J. (eds.). Springer, p. 98-114 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11781 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

If you made any changes in Pure these will be visible here soon.