Siddhartha Nalluri is an author at Duke University specializing in task planning, formal verification, and automated reasoning.
Top concepts
PlanningRoboticsAutomationEngineeringTask PlanningFormal MethodsRobot LearningComputer ScienceAutomated ReasoningFormal Verification
Publications per year
2015–2020
3
3
Security Analysis against Spoofing Attacks for Distributed UAVs
Kyo Kim, Siddhartha Nalluri, Ashish Kashinath et al. · 2020 · 26 citations · Full text
Rows per page
1–3 of 3