Kartik Anand Pant

21 papers A* 1A 1Journal 18Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Reachability-based Temporal Logic Verification for Reliable LLM-guided Human-Autonomy Teaming.
CoRR
Joonwon Choi, Kartik Anand Pant, Karthik Nune, Inseok Hwang
2026 J jnl
Signal Temporal Logic Verification and Synthesis Using Deep Reachability Analysis and Layered Control Architecture.
CoRR
Joonwon Choi, Kartik Anand Pant, Youngim Nam, Henry Hellmann, Karthik Nune, Inseok Hwang
2025 J jnl
A Dynamically Weighted ADMM Framework for Byzantine Resilience.
CoRR
Vishnu Vijay, Kartik Anand Pant, Minhyun Cho, Inseok Hwang
2025 J jnl
A Dynamically Weighted ADMM Framework for Byzantine Resilience.
IEEE Control. Syst. Lett.
Vishnu Vijay, Kartik Anand Pant, Minhyun Cho, Inseok Hwang
2025 A* conf
Automated Discovery of Semantic Attacks in Multi-Robot Navigation Systems.
USENIX Security Symposium
Doguhan Yeke, Kartik Anand Pant, Muslum Ozgur Ozmen, Hyungsub Kim, James M. Goppert, Inseok Hwang, Antonio Bianchi, Z. Berkay Celik
2025 J jnl
Energy-Constrained Resilient Multi-Robot Coverage Control.
CoRR
Kartik Anand Pant, Jaehyeok Kim, James M. Goppert, Inseok Hwang
2025 J jnl
Log-linear Dynamic Inversion for Thrusting Spacecraft on SE2(3).
CoRR
Micah K. Condie, Abigaile E. Woodbury, Li-Yu Lin, Kartik Anand Pant, Mike Walker, James Goppert
2025 J jnl
On Closed-Form Preintegration for a Class of Mixed-Invariant Systems in SEₙ(3).
IEEE Control. Syst. Lett.
Li-Yu Lin, Kartik Anand Pant, Benjamin M. Perseghetti, James Goppert
2025 J jnl
On Enhancing Structural Resilience of Multirobot Coverage Control with Bearing Rigidity.
CoRR
Kartik Anand Pant, Vishnu Vijay, Minhyun Cho, Inseok Hwang
2025 J jnl
Physics-Informed Anomaly Detection for Unmanned Aerial Vehicles.
IEEE Robotics Autom. Lett.
Yifan Guo, Kartik Anand Pant, Inseok Hwang
2025 J jnl
Range-Based Multi-Robot Integrity Monitoring For Cyberattacks and Faults: An Anchor-Free Approach.
IEEE Robotics Autom. Lett.
Vishnu Vijay, Kartik Anand Pant, Minhyun Cho, Yifan Guo, James M. Goppert, Inseok Hwang
2025 J jnl
SAFE-TAXI: A Hierarchical Multi-UAS Safe Auto-Taxiing Framework with Runtime Safety Assurance and Conflict Resolution.
CoRR
Kartik Anand Pant, Li-Yu Lin, Worawis Sribunma, Sabine Brunswicker, James M. Goppert, Inseok Hwang
2024 J jnl
Adversarial Sensor Attacks Against Uncertain Cyber-Physical Systems: A Dynamic Output Feedback Approach.
IEEE Control. Syst. Lett.
Kartik Anand Pant, Shiraz Khan, Inseok Hwang
2024 A conf
MIXED-SENSE: A Mixed Reality Sensor Emulation Framework for Test and Evaluation of UAVs Against False Data Injection Attacks.
IROS
Kartik Anand Pant, Li-Yu Lin, Jaehyeok Kim, Worawis Sribunma, James M. Goppert, Inseok Hwang
2024 J jnl
MIXED-SENSE: A Mixed Reality Sensor Emulation Framework for Test and Evaluation of UAVs Against False Data Injection Attacks.
CoRR
Kartik Anand Pant, Li-Yu Lin, Jaehyeok Kim, Worawis Sribunma, James M. Goppert, Inseok Hwang
2024 — conf
Mixed-Reality Testbed for Autonomous Fixed-Wing UAVs Human-Autonomy Teaming.
ICAA
Worawis Sribunma, Li-Yu Lin, Kartik Anand Pant, Chuhao Deng, James M. Goppert, Sabine Brunswicker, Joe Roberts
2024 J jnl
Range-based Multi-Robot Integrity Monitoring Against Cyberattacks and Faults: An Anchor-Free Approach.
CoRR
Vishnu Vijay, Kartik Anand Pant, Minhyun Cho, Yifan Guo, James M. Goppert, Inseok Hwang
2023 J jnl
A Closed-form Solution for the Strapdown Inertial Navigation Initial Value Problem.
CoRR
James Goppert, Li-Yu Lin, Kartik Anand Pant, Benjamin M. Perseghetti
2023 J jnl
Synthesis of Robust State Estimation Algorithms Under Unknown Sensor Inputs.
IEEE Control. Syst. Lett.
Shiraz Khan, Kartik Anand Pant, Inseok Hwang
2022 J jnl
An Open-Source Gazebo Plugin for GNSS Multipath Signal Emulation in Virtual Urban Canyons.
CoRR
Kartik Anand Pant, Zhanpeng Yang, James M. Goppert, Inseok Hwang
2022 J jnl
Thompson Sampling with Virtual Helping Agents.
CoRR
Kartik Anand Pant, Amod Hegde, Kothapalli Venkata Srinivas