1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.MA2026★ 1 cited
Pathfinders in the Sky: Formal Decision-Making Models for Collaborative Air Traffic Control in Convective Weather
Jimin Choi, Kartikeya Anand, Husni R. Idris +2
Air traffic can be significantly disrupted by weather. Pathfinder operations involve assigning a designated aircraft to assess whether airspace that was previously impacted by weat…
quant-ph2025
Collapses in quantum-classical probabilistically checkable proofs and the quantum polynomial hierarchy
Kartik Anand, Kabgyun Jeong, Junseo Lee
We investigate the structure of quantum proof systems by establishing collapse results that reveal simplifications in their complexity landscape. By extending classical theorems su…