We stand with Ukraine  

Anubhav Gupta

Orcid: 0000-0003-0187-8192

Affiliations:
  • University of British Columbia, BC, Canada


According to our database1, Anubhav Gupta authored at least 2 papers between 2021 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Assuring Behavior of Multirobot Autonomous Systems With Translation From Formal Verification to ROS Simulation.
[BibTeX]
[DOI]
Praveen Thachappully Adithya
,
Anubhav Gupta
,
Siddhartha Bhattacharyya
,
Raja Muthalagu
IEEE Syst. J., 2022

2021
Assuring Increasingly Autonomous Systems in Human-Machine Teams: An Urban Air Mobility Case Study.
[BibTeX]
[DOI]
Siddhartha Bhattacharyya
,
Jennifer Davis
,
Anubhav Gupta
,
Nandith Narayan
,
Michael Matessa
Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021


  Loading...