Anubhav Gupta

Employment

Employment history is unavailable.

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (5)

• Do influence tactics matter? investigating prompt framing effects in LLM code generation
  Empirical Software Engineering 2027 DOI: 10.1007/s10664-026-10934-z
  +Save
• Assuring Behavior of Multirobot Autonomous Systems With Translation From Formal Verification to ROS Simulation
  IEEE Systems Journal 2022 DOI: 10.1109/JSYST.2022.3149677
  +Save
• Assuring Increasingly Autonomous Systems in Human-Machine Teams: An Urban Air Mobility Case Study
  Electronic Proceedings in Theoretical Computer Science 2021 DOI: 10.4204/eptcs.348.11
  +Save
• Can Model Checking Assure, Distributed Autonomous Systems Agree? An Urban Air Mobility Case Study
  International Journal of Advanced Computer Science and Applications 2020 DOI: 10.14569/ijacsa.2020.0111208
  +Save
• Hypermarket automation system with field assisting robot-storage bot
  Journal of Advanced Research in Dynamical and Control Systems 2019
  +Save