Anubhav Gupta
Orcid: 0000-0003-0187-8192Affiliations:
- University of British Columbia, BC, Canada
According to our database1,
Anubhav Gupta
authored at least 3 papers
between 2021 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
IPAssess: A Protocol-Based Fingerprinting Model for Device Identification in the IoT.
Proceedings of the Intelligent Systems and Applications, 2023
2022
Assuring Behavior of Multirobot Autonomous Systems With Translation From Formal Verification to ROS Simulation.
IEEE Syst. J., 2022
2021
Assuring Increasingly Autonomous Systems in Human-Machine Teams: An Urban Air Mobility Case Study.
Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021