1 citations · 1 across the 6 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.RO2026
AeroEval: Staged Program and Execution Validation for AI-Generated Drone Missions
Kautuk Astu, Naina Rabha, Yogesh Simmhan
Large Language Models (LLMs) can generate drone programs from natural-language mission descriptions, but syntactically valid programs may still violate user intent, environmental c…
cs.CE2026
Quasi-Helmholtz Calderón Multiplicative Preconditioning for Higher-Order Global Multi-Trace Integral Equations
Cedric Münger, Alessandro Zuccotti, Van Chien Le +1
The paper presents a higher-order global multi-trace integral equation for time-harmonic electromagnetic scattering by composite objects. The higher-order multi-trace formulation i…
math.NA2026
Multitrace Müller Boundary Integral Equation for Electromagnetic Scattering by Composite Objects
Van Chien Le, Kristof Cools
This paper introduces a boundary integral equation for time-harmonic electromagnetic scattering by composite dielectric objects. The formulation extends the classical Müller equati…