Paper deep dive
Breaking Planner Integrity Boundary: Enviroment State-Text Injection Attack on LLM-Driven Embodied Agents
Jiawei Liu, Jiacheng Guo, Tian Zhang, Yiwei Xu, Juan Wang, Jinlin Fan, Bowen Xiao, Chi Guo, Keyan Guo, Hongxin Hu
Intelligence
Status: succeeded | Model: Gemma-4-26B-A4B | Prompt: intel-v1 | Confidence: 92%
Last extracted: 8/20/2026, 3:56:47 AM
Summary
This paper introduces Environment State-Text Injection (ESTI), a novel attack against LLM-driven embodied agents. Unlike existing attacks that manipulate user instructions or perceptual inputs, ESTI targets the planner-visible environment state text. By injecting false state evidence (modifying object attributes, spatial relations, affordances, etc.) that is compatible with the current environment, the attack deceives the LLM planner into generating adversarial plans. The authors propose ESTI-Bench to evaluate the attack across the planning-to-execution closed loop in environments like VirtualHome, RLBench, and AI2-THOR, demonstrating that ESTI significantly outperforms baselines like Vanilla IPI, EIRAD, and BADROBOT in both planning and execution success rates.
Entities (10)
Relation Signals (9)
ESTI-Bench â evaluates â ESTI
confidence 95% ¡ We further develop ESTI-Bench to evaluate attack propagation across the planning-to-execution closed loop
ESTI â targets â Environment State
confidence 95% ¡ ESTI reformulates an adversarial objective as false state evidence compatible with the current environment
LLM-Driven Embodied Agents â vulnerableto â ESTI
confidence 95% ¡ present the first closed-loop Environment State-Text Injection (ESTI) attack for LLM-driven embodied agents.
ESTI â outperforms â BADROBOT
confidence 90% ¡ ESTI consistently outperforms existing baselines
ESTI â outperforms â Vanilla IPI
confidence 90% ¡ ESTI consistently outperforms existing baselines, improving planning-level and execution-level attack success rates
ESTI â outperforms â EIRAD
confidence 90% ¡ ESTI consistently outperforms existing baselines
ESTI â testedon â VirtualHome
confidence 90% ¡ We systematically evaluate ESTI across three heterogeneous embodied environments... VirtualHome
ESTI â testedon â RLBench
confidence 90% ¡ We systematically evaluate ESTI across three heterogeneous embodied environments... RLBench
Cypher Suggestions (0)
No Cypher suggestions yet.
Abstract
Abstract:Large language model (LLM)-driven embodied agents rely on environment states to interpret scenes, generate high-level plans, and drive physical execution, making planner-visible state representations a critical security boundary. Existing attacks primarily manipulate user instructions, prompt contexts, model behavior, or perceptual inputs, while paying limited attention to whether environment-state text itself can serve as deceptive task evidence and propagate beyond planning to affect execution outcomes. Because embodied tasks are constrained by entity grounding, action preconditions, spatial relations, and environmental constraints, planning deviation alone does not guarantee adversarial execution. To address this gap, we investigate environment-state text as an independent attack surface and present the first closed-loop Environment State-Text Injection (ESTI) attack for LLM-driven embodied agents. Without modifying the original user instruction, model parameters, or executor, ESTI reformulates an adversarial objective as false state evidence compatible with the current environment and influences planning and execution through object properties, spatial relations, affordances, task-stage rules, and execution feedback. We further develop ESTI-Bench to evaluate attack propagation across the planning-to-execution closed loop and compare ESTI with Vanilla IPI, EIRAD, and BADROBOT across ProgPrompt/VirtualHome, VoxPoser/RLBench, and AI2-THOR/iTHOR. ESTI consistently outperforms existing baselines, improving planning-level and execution-level attack success rates by up to 89.32\% and 43.69\%, respectively. Further analysis shows that grounding, consistency, and executability jointly determine whether manipulated state evidence can propagate through the embodied closed loop and produce verifiable environmental changes.
Tags
Links
- Source: https://arxiv.org/abs/2608.16806v2
- Canonical: https://arxiv.org/abs/2608.16806v2
Trouble viewing inline? Open PDF directly â
Full Text
69,778 characters extracted from source content.
Expand or collapse full text
Breaking Planner Integrity Boundary: Enviroment State-Text Injection Attack on LLM-Driven Embodied Agents Jiawei Liu Affiliation: Wuhan University Jiacheng Guo Affiliation: Wuhan University Tian Zhang Affiliation: Wuhan University Yiwei Xu Affiliation: Wuhan University Juan Wang Affiliation: Wuhan University Jinlin Fan Affiliation: Wuhan University Bowen Xiao Affiliation: Wuhan University Chi Guo Affiliation: Wuhan University Hongxin Hu Affiliation: University at Buffalo Keyan Guo Affiliation: University at Buffalo Abstract Large language model (LLM)-driven embodied agents rely on environment states to interpret scenes, generate high-level plans, and drive physical execution, making planner-visible state representations a critical security boundary. Existing attacks primarily manipulate user instructions, prompt contexts, model behavior, or perceptual inputs, while paying limited attention to whether environment-state text itself can serve as deceptive task evidence and propagate beyond planning to affect execution outcomes. Because embodied tasks are constrained by entity grounding, action preconditions, spatial relations, and environmental constraints, planning deviation alone does not guarantee adversarial execution. To address this gap, we investigate environment-state text as an independent attack surface and present the first closed-loop Environment State-Text Injection (ESTI) attack for LLM-driven embodied agents. Without modifying the original user instruction, model parameters, or executor, ESTI reformulates an adversarial objective as false state evidence compatible with the current environment and influences planning and execution through object properties, spatial relations, affordances, task-stage rules, and execution feedback. We further develop ESTI-Bench to evaluate attack propagation across the planning-to-execution closed loop and compare ESTI with Vanilla IPI, EIRAD, and BADROBOT across ProgPrompt/VirtualHome, VoxPoser/RLBench, and AI2-THOR/iTHOR. ESTI consistently outperforms existing baselines, improving planning-level and execution-level attack success rates by up to 89.32% and 43.69%, respectively. Further analysis shows that grounding, consistency, and executability jointly determine whether manipulated state evidence can propagate through the embodied closed loop and produce verifiable environmental changes. 1 Introduction Large Language Models (LLMs) are increasingly evolving from text-generation models into high-level decision-making components for embodied agents, enabling environment understanding, task planning, and action generation. SayCan combines language-model reasoning with robotic skill affordances, while Code as Policies and ProgPrompt generate robot task plans through policy code and programmatic prompting, respectively. VoxPoser further uses language and vision-language models to construct three-dimensional value maps for robotic manipulation [1, 28, 48, 20]. Vision-language-action models such as PaLM-E, RT-2, and GR00T N1 further strengthen the connection among language understanding, environmental perception, and robotic actions [14, 6, 5]. Together, these systems establish an embodied decision pipeline spanning environment perception, state representation, task planning, and physical execution, allowing LLM decisions to directly affect robots and their surrounding environments. Figure 1: Expansion of the security boundary in LLM-driven embodied agents. Unlike conventional LLM applications, the behavior of an embodied agent depends not only on the user instruction but also strongly on the plannerâs interpretation of the current environment. As shown in Figure 1, information from perception modules, semantic maps, task-state managers, and execution-feedback components is commonly converted into structured or textual states that describe scene contents, object attributes, spatial relations, affordances, task stages, and execution feedback. The LLM uses these states for entity binding, spatial reasoning, and task planning before passing generated actions to skill libraries, motion planners, or controllers. Therefore, planner-visible environment state is not merely auxiliary context, but a security-critical interface connecting perception, planning, and physical execution. Such states are typically treated by the planner as trusted environmental facts and task evidence; once their semantic integrity is compromised, false states may alter target selection, destination binding, action ordering, or recovery behavior and further propagate through the planning and execution pipeline. Existing attacks against LLM agents mainly manipulate external instructions, contextual information, or tool outputs through indirect prompt injection and related techniques [17, 60, 61, 12]. Studies on embodied systems further show that adversarial suffixes, jailbreak queries, contextual manipulation, and deceptive perceptual inputs can influence robotic task understanding and decision making, as demonstrated by EIRAD, BADROBOT, RoboPAIR, and CHAI [29, 62, 9, 40]. However, these attacks primarily target user instructions, prompt context, model behavior, or perceptual inputs, while paying limited attention to planner-visible environment-state text itself as an independent attack surface. In particular, it remains insufficiently explored whether an adversary can leave the user task unchanged and instead encode a predefined adversarial objective as apparently legitimate environment state, causing the LLM to treat false state semantics as trusted task evidence during reasoning and planning. This problem is further complicated by a property that distinguishes embodied agents from purely digital agents: planning success does not necessarily imply execution success. Even when an attack successfully induces the LLM to select an adversarial target, destination, or action, the resulting plan must still satisfy entity existence, spatial reachability, object affordances, action preconditions, and platform-specific execution constraints. Consequently, measuring attack success only through model responses or planning deviations may overestimate its actual impact in an embodied closed loop. A state-text attack therefore faces two key challenges. First, false content must conform to the semantic role and representation of the manipulated state field rather than appear as an additional malicious command. Second, the manipulated evidence must not only be adopted by the planner but also survive embodied execution constraints and ultimately produce an attacker-specified and verifiable environmental consequence. Embodied security evaluation should therefore examine attack propagation across the complete planningâexecution closed loop. To study this security problem, we treat planner-visible environment-state text as an independent security boundary and, to the best of our knowledge, present the first closed-loop Environment State-Text Injection (ESTI) attack for LLM-driven embodied agents. ESTI keeps the original user instruction, model parameters, planner, and executor unchanged, and reformulates a predefined adversarial objective as false task evidence compatible with the current environment and its native state representation. Specifically, ESTI manipulates state semantics through object attributes, spatial relations, affordances, task-stage rules, and planner-visible execution feedback to influence target binding, destination selection, action ordering, or recovery behavior. Rather than inserting an explicit competing instruction, ESTI modifies only semantic records that the compromised state component is normally authorized to produce while preserving representation-level consistency. Its objective is therefore not merely to alter a high-level plan, but to determine whether the same adversarial semantics can propagate from state evidence into planning, survive embodied execution constraints, and ultimately produce a verifiable final-state deviation. We systematically evaluate ESTI across three heterogeneous embodied environmentsâProgPrompt/VirtualHome, VoxPoser/RLBench, and AI2-THOR/iTHORâand compare it with Vanilla IPI, EIRAD, and BADROBOT. ESTI consistently outperforms existing baselines across all three environments, improving planning-level and execution-level attack success rates by up to 89.32% and 43.69%, respectively. Meanwhile, a clear gap remains between planning-level and execution-level success. This result shows that influencing the LLM planner is only one part of a successful embodied attack: grounding, representation-level consistency, action preconditions, and executability jointly determine whether manipulated state evidence can propagate into actual environmental consequences. Embodied-agent security should therefore be evaluated not only at the language or planning level, but also through the resulting execution outcomes. Overall, the main contributions of this paper are as follows: 1. To the best of our knowledge, we are the first to formulate a closed-loop environment state-text injection attack for LLM-driven embodied agents. We identify planner-visible environment-state text as an independent attack surface and study how false state semantics propagate from task evidence through high-level planning and embodied execution to a targeted final-state consequence. 2. We propose ESTI, a state-semantic attack that reformulates a predefined adversarial objective as representation-compatible false environment evidence while preserving the original user instruction, model parameters, planner, and executor. ESTI operates through object attributes, spatial relations, affordances, task-stage rules, and execution feedback. 3. We construct ESTI-Bench, a planningâexecution closed-loop evaluation framework that separately measures planning-level attack success (P-ASR) and execution-level attack success (E-ASR), distinguishing planner adoption from final-state realization and explicitly characterizing the planning-to-execution transfer gap. 4. We systematically evaluate ESTI across three heterogeneous embodied environments. ESTI improves planning-level and execution-level attack success rates by up to 89.32% and 43.69%, respectively. Ablation studies and a real-robot proof of concept further show that grounding, representation-level consistency, and executability are important factors governing the propagation of manipulated state semantics from planning to physical execution. 2 Related Work 2.1 LLM-Driven Embodied Planning The in-context learning, chain-of-thought reasoning, zero-shot reasoning, and code-generation capabilities of LLMs provide the foundation for high-level planning in embodied agents [8, 55, 11, 23]. SayCan combines language-model planning with robotic-action affordances so that generated plans more closely match the executable action space [1]. Code as Policies converts LLM outputs into executable programs; ProgPrompt explicitly models scene objects and available actions through programmatic prompts; and VoxPoser expresses spatial constraints and manipulation objectives using three-dimensional value maps [28, 48, 20]. Zero-Shot Planners, Inner Monologue, Voyager, and SayPlan further extend LLM-based embodied planning through zero-shot task decomposition, reasoning over environment feedback, open-world exploration, and planning over three-dimensional scene graphs, respectively [19, 21, 52, 38]. Collectively, these studies demonstrate that high-level planning is not determined by user language alone, but continuously relies on state evidenceâincluding objects, relations, affordances, and feedbackâto ground a task. Their evaluations, however, primarily emphasize task success, executability, and generalization, while paying limited attention to the trustworthiness of state-semantic sources, consistency across state fields, and the resulting effects on decisions. Visionâlanguageâaction models further strengthen the connection between foundation models and robotic behavior. PaLM-E, RT-2, and GR00T N1 integrate visual observations, language instructions, and action outputs within increasingly unified model architectures [14, 6, 5]. Gato, Visual Language Maps, VIMA, PerAct, Flamingo, and CLIPort extend embodied-agent capabilities through generalist sequence modeling, visual-language maps, multimodal prompting, six-degree-of-freedom manipulation, vision-language representation learning, and language-conditioned manipulation, respectively [39, 18, 22, 45, 2, 44]. For evaluation, AI2-THOR provides reproducible indoor scenes, object-level interaction interfaces, and structured state information for navigation, object manipulation, and household-task research [24]. ALFRED, ALFWorld, Habitat, VirtualHome, BEHAVIOR, and TEACh provide complementary testbeds for instruction following, text-based interaction, navigation, activity simulation, and humanâagent collaboration [46, 47, 41, 36, 49, 32]. These platforms typically transform perceptual observations or simulator states into representations that can be consumed by an agent, but seldom treat misplaced trust in those state representations as an independent security variable. 2.2 Indirect Prompt Injection against LLM Agents LLM agents extend language models from text generation to tool use, web browsing, file processing, and multi-turn interaction. ReAct interleaves reasoning and action, while Toolformer enables models to learn when and how to call external tools. ToolLLM, API-Bank, Gorilla, and ToolBench further broaden the ability of LLMs to select and invoke real-world APIs [59, 42, 37, 27, 33]. Reflexion, WebGPT, WebShop, Mind2Web, OSWorld, SWE-agent, and OpenDevin advance agent systems through self-reflection, browser-assisted question answering, online shopping, realistic web tasks, desktop-environment interaction, software-engineering tasks, and general computer operation, respectively [43, 31, 58, 13, 56, 57, 53]. As models evolve from question-answering systems into action-taking systems, external content enters their decision contexts with increasing frequency. For digital agents, however, such content usually originates from webpages, documents, or tool results, rather than environment states that must remain consistent with physical entities, spatial relations, and action constraints. Indirect prompt injection exploits the inability of LLMs to reliably distinguish data from executable instructions. Greshake et al. show that malicious prompts embedded in webpages or documents can hijack a task when processed by an LLM-integrated application [17]. BIPIA studies indirect prompt injection through benchmark construction and defense evaluation [60], while subsequent work further identifies executable commands embedded in external content as a defining mechanism of such attacks. InjecAgent and AgentDojo extend the problem to systematic evaluations of tool-integrated agents across tasks involving email, websites, banking, and travel booking [61, 12]. Research on prompt injection, jailbreaks, alignment failures, automated red teaming, and prompt leakage also demonstrates that contextual manipulation can cause a model to disregard the original instruction or perform unintended behavior [30, 35, 63, 54, 34, 10]. These studies establish the risks of untrusted context, but their typical payloads are command-style prompts and their success criteria focus on model responses, resource access, or tool calls. We instantiate this original command-based construction as the Vanilla IPI baseline and compare it with ESTI under identical tasks, adversarial goals, and state-input positions. In embodied systems, even when such a payload induces a planning deviation, it may not conform to the state representation and cannot determine whether the deviation will cross task-resolution and execution constraints. Conventional IPI is therefore an essential baseline, but it does not directly characterize embodied state-integrity risks. 2.3 Attacks and Security Evaluation for Embodied Models Robotic safety research has long examined reachability analysis, control barrier functions, and safe humanârobot interaction [3, 4, 26]. At the perception layer, adversarial examples, physical-world attacks, adversarial patches, and sensor spoofing demonstrate that vision systems can be misled by crafted perturbations or environmental patterns [50, 16, 25, 15, 7, 51]. These studies establish that perturbations to external inputs can affect robot behavior, but most focus on vision models, sensor inputs, or low-level control components. Their central concern is typically observation error or control safety rather than how false state semantics are adopted as task evidence by a high-level language planner. As LLMs have been incorporated into embodied intelligent systems, attack targets have expanded from perception and control to task understanding and decision making. EIRAD evaluates decision-level adversarial perturbations against LLM-based embodied models [29]. BADROBOT, Jailbreaking LLM-Controlled Robots, RoboPAIR, and CHAI further demonstrate that adversarial prompts, jailbreak queries, and visually delivered instructions can induce unsafe or attacker-desired robotic behavior [62, 9, 40]. Despite this progress, existing embodied-agent attacks predominantly inject adversarial intent through explicit prompts, suffixes, jailbreak queries, or perceptual instructions. They do not systematically formulate planner-visible environment-state text as a schema-compatible adversarial carrier and then trace the same injected semantics through planning, execution, feedback, and final-state verification. ESTI targets this missing closed-loop state-integrity problem: the user instruction remains benign, while the adversarial objective is encoded as native task evidence and evaluated at both the planning and execution levels. 3 ESTI: Environment State-Text Injection Attack This section presents ESTI, our closed-loop Environment State-Text Injection attack, which encodes an adversarial objective as native planner-visible state evidence and tests whether that evidence propagates through an embodied planningâexecution loop. We first define the threat model, including the system boundary, adversarial capabilities, attack objective, and success conditions. We then present the state-text construction and closed-loop propagation mechanisms. 3.1 Threat Model 3.1.1 System Model We consider an embodied agent composed of a high-level language planner Ď, an executor, and an environment â°E. At step t, the planner receives a benign user instruction U and a planner-visible state representation St=â¨Ot,Rt,Qt,FtâŠ,S_t= O_t,R_t,Q_t,F_t , (1) where OtO_t contains objects and their attributes, RtR_t contains spatial or task relations, QtQ_t contains affordances and task-stage constraints, and FtF_t contains execution feedback. The planner generates an action plan At=ĎâĄ(U,St)A_t=Ď(U,S_t), which is translated by the original executor into environment actions. Execution updates the physical or simulated state xtx_t and produces the next planner-visible state St+1S_t+1. 3.1.2 Adversarial Entry Point, Capabilities, and Scope We treat the semantic interface immediately before planner-visible environment state is supplied to the high-level language planner as the adversarial entry point. As defined in Section 3.1.1, the planner receives the state representation St=â¨Ot,Rt,Qt,FtâŠS_t= O_t,R_t,Q_t,F_t , which contains objects and their attributes, spatial or task relations, affordances and task-stage constraints, and execution feedback. These states are not the physical environment itself, but intermediate semantic representations produced through perception, state estimation, semantic mapping, and task-state maintenance. Their correctness therefore depends on upstream state acquisition and maintenance, and environment-state integrity is not guaranteed by construction. Based on this system property, we assume that an adversary can influence a limited subset of task-relevant environment-state information perceived or maintained by the embodied agent, causing some semantic values to become inconsistent with the actual environment. This assumption abstracts state-integrity failures arising from erroneous or manipulated perception, corrupted semantic mappings, abnormal state caches, or incorrect task and execution feedback. We do not assume a specific upstream realization, but assume that corrupted state information can enter the normal state-representation pipeline. The adversary manipulates the agentâs semantic representation of the environment rather than directly modifying the physical environment. For example, an object physically located at l1l_1 may be represented to the planner as being at l2l_2, while the adversary cannot directly move the object to l2l_2. Let S~t S_t denote the environment state actually supplied to the planner after manipulation. We define the set of semantically modified records as âθ=iâŁS~t,iâ St,i,I_θ= \i S_t,iâ S_t,i \, (2) where θ denotes the state modifications involved in the attack. Let WâĄ(St)W(S_t) denote the semantic records expressible in the current environment state, and let RelâĄ(Ga,St)Rel(G_a,S_t) denote the records directly involving the entities, relations, actions, or task stages required by the predefined adversarial objective GaG_a. The manipulation scope is restricted by âθâWâĄ(St)âŠRelâĄ(Ga,St).I_θ W(S_t) (G_a,S_t). (3) Thus, the adversary may modify only existing environment-state semantics that are directly relevant to GaG_a, while all other state records remain unchanged. The construction of these state semantics and their representation-compatibility constraints are defined separately in Section 3.3. The adversary cannot modify the original user instruction U, hidden system prompt, model parameters, high-level planner Ď, executor, skill library, low-level controller, or environment dynamics, nor can it directly modify the true physical or simulated state xtx_t or execution outcomes. At the point of state injection, these restrictions are expressed as Ua=U,Ďa=Ď,â°a=â°,xta=xt.U^a=U, Ď^a=Ď, ^a=E, x_t^a=x_t. (4) Here, xta=xtx_t^a=x_t only indicates that the adversary does not directly alter the environment at injection time; the environment may subsequently change through actions normally executed by the original executor under the manipulated plan. The adversarial objective GaG_a is fixed before the episode and remains unchanged throughout execution. The adversary cannot adaptively redefine the objective according to intermediate planner outputs, nor can it insert an independent competing instruction through the state interface. The considered adversarial capability is therefore restricted to limited manipulation of task-relevant environment-state semantics, rather than arbitrary control over the planner context or the robotic pipeline. 3.1.3 Attack Objective and Success Boundary The adversary aims to induce the planner to adopt a predefined objective GaG_a through false state evidence and, when execution constraints permit, realize the corresponding predicate in the final environment state. Targeted deviations include object substitution, destination manipulation, action insertion, and adversarial recovery behavior. Random task failure or any deviation unrelated to GaG_a is not considered successful. An attack is considered fully successful only when the adversarial objective is both adopted at the planning level and realized after embodied execution; the formal success criteria are defined in Section 3.4. Figure 2: Overview of ESTI. A preselected adversarial goal is instantiated on a groundable benchmark state, encoded as a schema-compatible value of one compromised producerâs native record, and evaluated through the unchanged planningâexecution loop. 3.2 Method Overview ESTI converts an adversarial goal into schema-compatible false state evidence rather than expressing it as a competing user command. As illustrated in Figure 2, the method contains three logical stages. Together, these stages translate a fixed adversarial objective into planner-visible evidence that remains compatible with the representation structure of the target environment. First, goal normalization and runtime re-grounding map GaG_a to verifiable predicates and resolve the prevalidated entities and interactions in the current state. This step ensures that the target deviation is instantiated using entities that are actually present in the current benchmark instance. Second, state-semantic construction expresses the fixed goal through compatible object attributes, scene relations, affordances, task-stage rules, or planner-facing feedback. Rather than inserting a free-form adversarial instruction, the resulting evidence is formulated according to the semantic role of the corresponding state carrier. Third, closed-loop injection writes only the required evidence into records allowed by Eq. 3 and, for event-dependent samples, preserves the same goal and bindings. The construction preserves the preselected adversarial goal, resolves referenced entities within a benchmark instance already known to be groundable, matches each payload to the semantic role of its carrier, and leaves unrelated records unchanged. Unlike command-style IPI, ESTI does not express the adversarial goal as a competing instruction. Both use the same groundable GaG_a, but Vanilla IPI lacks native-carrier construction, runtime re-grounding, and cross-record validation. Consequently, the comparison isolates whether representing the same adversarial objective as grounded state evidence, rather than as an additional command, changes how the manipulation propagates through planning and execution. 3.3 State-Semantic Construction under Matched Groundability 3.3.1 Dataset-Level Groundability and Runtime Re-grounding We distinguish two grounding operations. Dataset-level groundability is an eligibility condition applied before evaluation: a sample is retained only if its predefined adversarial objective GaG_a can be instantiated using existing entities, supported interactions or affordances, and observable final-state predicates. This filtering is fixed before inference and shared by all compared methods and ablations, preventing trivial failures caused by infeasible attack goals. Runtime re-grounding is used by full ESTI immediately before state manipulation to refresh the identifiers, affordances, and critical preconditions of the prevalidated entities referenced by GaG_a. The w/o Runtime Re-grounding ablation skips this refresh and reuses the dataset-level binding. Formally, ESTI normalizes GaG_a into the target predicate pa=PredâĄ(Ga)=â¨a,oa,da,raâŠ,p_a=Pred(G_a)= a_a,o_a,d_a,r_a , (5) where a_a, oao_a, dad_a, and rar_a denote the target action, affected object, optional destination or reference object, and expected final attribute or relation, respectively. Let âĄ(Ga,St)C(G_a,S_t) denote candidate bindings in the current planner-visible state. ESTI retains â(Ga,St)=câ(Ga,St)⣠^*(G_a,S_t)=\\,c (G_a,S_t) SemâĄ(c,Ga)=1, (c,G_a)=1, (6) Aff(c,â°)=1,Pre(c,St)=1, (c,E)=1,\;Pre(c,S_t)=1\,\, where SemSem, AffAff, and PrePre check semantic compatibility, supported affordances, and critical preconditions, respectively. If multiple candidates remain, ESTI resolves them deterministically without modifying the scene or adapting to planner outputs. Runtime re-grounding therefore refreshes an already valid binding rather than determining attack feasibility. 3.3.2 Evidence Construction and Constrained Rewriting Rather than expressing GaG_a as an additional instruction, ESTI encodes it as false state evidence compatible with the native planner-visible representation. The manipulated state is defined as S~t=Tθâ(St,Ga), S_t=T_θ(S_t;G_a), (7) where θ specifies the selected carrier records and their replacement semantics, and the modified set âθI_θ follows Eq. 3. For each state record j, [S~t]j=RewritejâĄ(St,j,pθ,j),jââθ,St,j,jââθ,[ S_t]_j= casesRewrite_j(S_t,j,p_θ,j),&j _θ,\\ S_t,j,&j _θ, cases (8) where pθ,jp_θ,j is the adversarial semantic value assigned to carrier j. Only the semantic unit required by GaG_a is changed, while the surrounding representation remains unchanged. The admissible construction space is Îadm=θ|SchemaâĄ(S~t)=SchemaâĄ(St),EntâĄ(S~t)âEntâĄ(St),ActâĄ(S~t)âActâĄ(â°), _adm= \θ\; |\; array[]lSchema( S_t)=Schema(S_t),\\ Ent( S_t) (S_t),\\ Act( S_t) (E) array \, (9) where SchemaSchema, EntEnt, and ActAct denote the state schema, referenced entities, and supported interactions, respectively. These constraints preserve the native field structure and prevent nonexistent entities, unsupported interactions, or independent competing instructions from being introduced. If multiple records are modified, they must consistently support the same target predicate: âjââθ,SupportâĄ([S~t]j,pa)=1,â j _θ, ([ S_t]_j,p_a)=1, (10) âi,jââθ,ConflictâĄ([S~t]i,[S~t]j)=0.â i,j _θ, ([ S_t]_i,[ S_t]_j)=0. (11) Thus, manipulated records jointly support GaG_a without explicit identifier, relation, affordance, or task-stage conflicts. The consistency is representational rather than factual, since the resulting evidence remains false with respect to the actual environment. ESTI supports object-attribute, scene-relation, affordance, task-stage, and execution-feedback carriers. Object substitution primarily uses attributes or entity relations, destination manipulation uses spatial relations or affordances, action-order manipulation uses task-stage information, and recovery manipulation uses execution feedback. 3.4 Closed-Loop Propagation and Attack Success ESTI evaluates whether manipulated state evidence propagates through the original embodied planningâexecution loop rather than merely altering planner output. Initial-state evidence is injected before the first planning step, while task-stage- or feedback-dependent evidence is activated only at predefined native events. Let Ďθ _θ denote the activation set. The planner receives Sta=Tθâ(St,Ga),tâĎθ,St,tâĎθ.S_t^a= casesT_θ(S_t;G_a),&tâ _θ,\\ S_t,&tâ _θ. cases (12) For initial-state attacks, Ďθ=0 _θ=\0\; otherwise, Ďθ _θ corresponds to a predefined task or feedback event. The adversarial objective GaG_a and transformation rule remain fixed throughout the episode and do not adapt to planner outputs. Given StaS_t^a, the unchanged planner generates Ata=ĎâĄ(U,Sta),A_t^a=Ď(U,S_t^a), (13) and the environment evolves through the original execution process: xt+1a=â°âĄ(xta,Ata).x_t+1^a=E(x_t^a,A_t^a). (14) Execution feedback and observations are then incorporated into the next planner-visible state through the normal state-construction process. Because ESTI does not directly modify executor outputs or environment dynamics, the adversarial semantics must pass through grounding, planning, execution constraints, feedback, and, when necessary, replanning before affecting the final state. For an admissible transformation θâÎadmθâ _adm, the attack objective is maxθâÎadm _θâ _adm Pr[gaP(Aa)=1â§gaE(xTa)=1] \! [g_a^P(A^a)=1 g_a^E(x_T^a)=1 ] (15) s.t. .t. U,Ď,â°,x0â remain unchanged. U,Ď,E,x_0 remain unchanged. Here, gaPg_a^P tests whether the generated plan adopts the adversarial objective, while gaEg_a^E tests whether the corresponding predicate holds in the final environment state. In practice, θ is constructed deterministically using the grounding, carrier-selection, and rewriting rules above; the probability reflects stochastic planner behavior. Planning-level and execution-level success are defined as SuccP=[gaP(Aa)=1],SuccE=[gaE(xTa)=1].Succ_P=I[g_a^P(A^a)=1], _E=I[g_a^E(x_T^a)=1]. (16) If SuccP=1Succ_P=1 but SuccE=0Succ_E=0, the attack affects planning but is blocked during embodied execution; if both equal one, the adversarial objective reaches a verifiable final-state consequence. Section 4 reports the corresponding P-ASR and E-ASR, whose difference characterizes the planning-to-execution gap. Table 1: Overall results of six attack methods across three environments using DeepSeek-V4-Pro. All results are reported in percentage (%). Higher values are better for all metrics. The best available result in each environment is shown in bold. Environment Method Clean-ACC â Control-ACC â P-ASR â E-ASR â ProgPrompt EIRAD 45.33% 19.33% 39.71% 19.12% Vanilla IPI 18.00% 66.18% 32.15% BADROBOT-contextual jailbreak 34.00% 73.53% 27.84% BADROBOT-safety misalignment 34.00% 72.06% 23.53% BADROBOT-conceptual deception 34.00% 75.00% 20.59% ESTI 46.00% 100.00% 47.06% VoxPoser EIRAD 25.33% 30.00% 73.68% 34.21% Vanilla IPI 28.67% 86.84% 34.21% BADROBOT-contextual jailbreak 30.00% 89.47% 39.47% BADROBOT-safety misalignment 31.33% 92.11% 36.84% BADROBOT-conceptual deception 31.33% 92.11% 34.21% ESTI 33.33% 97.37% 42.11% AI2-THOR EIRAD 69.33% 69.33% 17.31% 12.50% Vanilla IPI 70.00% 88.46% 37.50% BADROBOT-contextual jailbreak 70.00% 8.65% 6.73% BADROBOT-safety misalignment 67.33% 20.19% 11.54% BADROBOT-conceptual deception 70.00% 54.81% 23.08% ESTI 70.67% 100.00% 48.08% 4 Experiments and Evaluation (a) DeepSeek-V4-Pro (b) GPT-5.6-luna (c) Qwen-3.6-Plus Figure 3: Clean-to-attack action sequence deviation (ASD) across different models and environments. ASD measures the behavioral deviation between clean and attacked action sequences. A larger ASD indicates a greater sequence-level deviation, but does not necessarily correspond to a higher attack success rate. 4.1 Experimental Setup and Evaluation Protocol We evaluate ESTI and ESTI-Bench in three environments: ProgPrompt, VoxPoser, and AI2-THOR, representing programmatic planning, continuous-space manipulation, and interactive indoor execution, respectively [48, 20, 24]. For AI2-THOR, we select iTHOR FloorPlans with the required objects and interactions, fix initial states, and verify outcomes using simulator metadata. Each sample is evaluated under clean, control, and attack conditions. Clean uses the original task and state; control adds benign state text matched to the attack payload in length and style; and attack injects adversarial semantics into the planner-visible state. Native states are converted into readable text before planning, allowing the protocol to separate targeted semantic manipulation from effects of additional context. We evaluate planning and execution separately. P-ASR measures whether the generated plan satisfies the adversarial objective, while E-ASR measures whether the objective is realized after execution. Both are computed over the same clean-success samples, with planning- or execution-level successes as the numerator and clean-success samples as the denominator. These metrics therefore measure propagation after state manipulation rather than the likelihood of an upstream state-integrity failure. Clean-ACC and Control-ACC measure original-task accuracy, while ASD measures clean-to-attack action-sequence deviation and is analyzed in Section 4.3. We compare ESTI with Vanilla IPI, EIRAD, and three BADROBOT variants under the same protocol. Vanilla IPI expresses the same prevalidated goals as command-style text without runtime re-grounding, native-carrier construction, or cross-record consistency; EIRAD uses an adversarial suffix; and BADROBOT covers contextual jailbreak, safety misalignment, and conceptual deception. These baselines represent command-, suffix-, and jailbreak-oriented attacks. Each condition is repeated three times, and reported results are averaged across runs. 4.2 Overall Results Table 1 shows that ESTI achieves the strongest P-ASR and E-ASR across all three environments. Its average P-ASR and E-ASR reach 99.12% and 45.75%, compared with 80.49% and 34.62% for Vanilla IPI, the strongest baseline, corresponding to gains of 18.63 and 11.13 percentage points. ESTI also maintains near-saturated planning-level success and the highest execution-level success across environments, demonstrating stronger propagation of adversarial objectives from planner-visible state semantics into embodied execution. Prompt- and jailbreak-oriented baselines are generally weaker or less stable because they do not explicitly align with the object, relation, and action constraints encoded in the current environment state. This is particularly evident in AI2-THOR, where EIRAD achieves 17.31% P-ASR and 12.50% E-ASR, while BADROBOT-contextual jailbreak reaches only 8.65% and 6.73%. Vanilla IPI performs better by directly influencing the planner through competing instructions, but its execution success remains notably lower than its planning success. Although evaluated on the same groundable objectives, it lacks native state-carrier construction, runtime re-grounding, and representation-level consistency, making its planning deviations less likely to remain executable. In contrast, ESTI encodes adversarial objectives through native object attributes, spatial relations, affordances, task rules, and planner-facing feedback, making the evidence more compatible with the plannerâs normal state representation and embodied constraints. This alignment explains its stronger and more consistent performance across heterogeneous environments. Nevertheless, a clear planning-to-execution gap remainsâe.g., 100.00% versus 47.06% on ProgPrompt and 100.00% versus 48.08% on AI2-THORâshowing that successful planner manipulation alone is insufficient; action preconditions, reachability, plan quality, and platform constraints still determine final-state realization. Figure 4: ESTI attack process in the ProgPrompt. Figure 5: ESTI attack process in the VoxPoser. Figure 6: ESTI attack process in the AI2-THOR. 4.3 Independent Graphical Analysis of ASD CleanâAttack ASD measures the overall difference between action sequences before and after an attack, characterizing the extent to which the attack perturbs the embodied agentâs execution behavior. Unlike ASR, which only determines whether the attack objective is successfully achieved, ASD further reflects whether the original behavior trajectory has been altered and to what extent. Therefore, ASD can capture behavioral effects even when the attack ultimately fails to satisfy the E-ASR criterion. For example, an attack may change the target object, action order, or movement path during execution, but fail at a later step and thus not be counted as a successful execution-level attack. In such cases, ASD still captures the behavioral deviation introduced by the attack. Therefore, ASD complements P-ASR and E-ASR by revealing not only whether an attack succeeds, but also how strongly it changes the agentâs normal execution behavior. However, the magnitude of ASD does not directly correspond to attack success rate. A larger action-sequence difference only indicates stronger behavioral deviation, but does not necessarily imply that the deviation is aligned with the attackerâs objective. For example, on ProgPrompt with DeepSeek-V4-Pro, Vanilla IPI achieves an ASD of 4.59, which is higher than ESTIâs 3.01, while its E-ASR is only 32.15%, lower than ESTIâs 47.06%. Similarly, on VoxPoser, EIRAD reaches an ASD of 14.30, higher than ESTIâs 9.95, but still achieves a lower E-ASR. This is because some attacks may introduce irrelevant, redundant, or infeasible actions that increase sequence divergence without effectively driving the agent toward the attacker-desired final state. In contrast, ESTI tends to induce targeted changes in key actions by manipulating planning evidence such as object attributes, spatial relations, task rules, and execution feedback. Therefore, ASD is more appropriately used as a complementary metric for measuring the degree of behavioral perturbation, while P-ASR and E-ASR evaluate whether the attack objective is actually realized. Together, these metrics distinguish three levels of attack impact: planning manipulation, behavioral deviation, and successful execution of the attack objective. Figure 7: ESTI attack process in the real-robot experiment. Table 2: Planning-to-execution transfer of ESTI. Gap denotes P-ASR â- E-ASR, and Transfer Rate is calculated as E-ASR / P-ASR. Model Environment Gap Transfer Rate DeepSeek-V4-Pro AI2-THOR 51.92% 48.08% ProgPrompt 52.94% 47.06% VoxPoser 55.26% 43.25% GPT-5.6-luna AI2-THOR 13.33% 72.01% ProgPrompt 34.54% 64.82% VoxPoser 50.00% 45.28% Qwen-3.6-Plus AI2-THOR 49.51% 50.49% ProgPrompt 46.67% 48.78% VoxPoser 51.61% 48.39% 4.4 Planning-to-Execution Attack Transfer Table 2 further analyzes the transfer of ESTI from planning-level deception to execution-level consequences. P-ASR mainly reflects whether the injected state semantics can successfully deceive the LLM planner and induce an attacker-aligned plan. ESTI achieves consistently high P-ASR across most modelâenvironment combinations; for example, DeepSeek-V4-Pro reaches an average P-ASR of 99.12%, while Qwen-3.6-Plus reaches 97.04%. These results show that manipulated planner-visible states can effectively influence the decision evidence used by LLM planners. However, successful planner deception does not necessarily translate into successful execution. E-ASR is additionally affected by the quality of the generated plan and the constraints of the simulation environment, including missing or infeasible actions, object availability, spatial reachability, action primitives, and interaction preconditions. For example, DeepSeek-V4-Pro achieves 99.12% average P-ASR but only 45.75% E-ASR, resulting in a 53.37-point gap, while GPT-5.6-luna shows a higher transfer rate despite a lower P-ASR. Therefore, the P-ASRâE-ASR gap characterizes the transfer loss from planner deception to execution realization, rather than simply indicating attack failure. 4.5 Representative Attack Processes in Simulation The visualization results demonstrate the effectiveness of ESTI in inducing target-object substitution across AI2-THOR, VoxPoser, and ProgPrompt. As shown in Figures 4, 5, and 6. In the clean samples, the Embodied Agent is instructed to pick up bread in AI2-THOR, move block0 to the center of the board in VoxPoser, and place a book at a designated location in ProgPrompt. With ESTI, the original target objects are replaced by a tomato, block1, and a cup, respectively. Despite these substitutions, the Embodied Agent generates coherent action sequences that satisfy the environmental constraints and successfully completes the substituted objectives. These results show that ESTI can consistently alter the target-object selection of an Embodied Agent without noticeably disrupting action plausibility or execution continuity. Table 3: Overall results of six attack methods across three environments using GPT-5.6-luna. All results are reported in percentage (%). Higher values are better for all metrics. The best available result in each environment is shown in bold. Environment Method Clean-ACC â Control-ACC â P-ASR â E-ASR â ProgPrompt EIRAD 36.67% 36.67% 60.00% 30.91% Vanilla IPI 36.67% 50.91% 20.00% BADROBOT-contextual jailbreak 35.33% 74.55% 20.00% BADROBOT-safety misalignment 36.67% 69.09% 30.91% BADROBOT-conceptual deception 35.33% 76.36% 27.27% ESTI 40.67% 98.18% 63.64% VoxPoser EIRAD 38.67% 30.00% 75.86% 32.76% Vanilla IPI 41.33% 81.03% 25.86% BADROBOT-contextual jailbreak 34.00% 89.66% 37.93% BADROBOT-safety misalignment 27.33% 84.48% 39.66% BADROBOT-conceptual deception 38.00% 82.76% 39.66% ESTI 41.33% 91.38% 41.38% AI2-THOR EIRAD 70.00% 70.00% 6.67% 6.67% Vanilla IPI 70.00% 6.67% 6.67% BADROBOT-contextual jailbreak 70.00% 5.71% 5.71% BADROBOT-safety misalignment 67.33% 6.67% 6.67% BADROBOT-conceptual deception 70.00% 5.71% 5.71% ESTI 70.00% 47.62% 34.29% 4.6 Real-Robot Experiments To examine whether state-semantic manipulation can propagate into physical execution, we conduct a proof-of-concept experiment on a real humanoid robot. As shown in Fig. 7, the benign instruction requires the robot to follow a predefined route once and return to its starting position. Under the clean condition, the robot completes this route as intended. Representative execution stages are shown in the upper row of Fig. 7, with red circles indicating the robotâs position. Under the attack condition, the user instruction remains unchanged, while ESTI modifies the planner-visible environmental state to induce the robot to leave the route midway and move toward the computer. As shown in the lower row of Fig. 7, the robot initially follows a trajectory similar to the clean execution but subsequently deviates toward the computer instead of completing the loop. This result shows that manipulated state semantics can propagate through planning into an observable deviation in physical execution. This experiment evaluates downstream state-to-execution propagation rather than an end-to-end perception attack. Because the robot does not provide visual observations to the LLM planner, the environmental state is manually instantiated from the real scene and supplied to the planner in textual form, substituting for the perception-to-state-construction stage. Thus, the clean and attack conditions differ in the planner-visible state rather than in visual observations. Evaluating ESTI in a fully closed-loop perceptionâplanningâexecution system remains future work. Table 4: Overall results of six attack methods across three environments using Qwen-3.6-Plus. All results are reported in percentage (%). Higher values are better for all metrics. The best available result in each environment is shown in bold. Environment Method Clean-ACC â Control-ACC â P-ASR â E-ASR â ProgPrompt EIRAD 30.00% 22.00% 28.89% 11.11% Vanilla IPI 21.33% 28.89% 0.00% BADROBOT-contextual jailbreak 23.33% 48.89% 28.89% BADROBOT-safety misalignment 23.33% 60.00% 40.00% BADROBOT-conceptual deception 23.33% 66.67% 42.22% ESTI 50.67% 91.11% 44.44% VoxPoser EIRAD 41.33% 38.67% 58.06% 22.58% Vanilla IPI 41.33% 67.74% 32.26% BADROBOT-contextual jailbreak 41.33% 74.19% 46.77% BADROBOT-safety misalignment 40.00% 96.77% 41.94% BADROBOT-conceptual deception 41.33% 74.19% 45.16% ESTI 43.33% 100.00% 48.39% AI2-THOR EIRAD 68.67% 68.67% 6.80% 6.80% Vanilla IPI 69.33% 5.83% 4.85% BADROBOT-contextual jailbreak 68.00% 6.80% 6.80% BADROBOT-safety misalignment 69.33% 6.80% 6.80% BADROBOT-conceptual deception 68.00% 10.68% 6.80% ESTI 69.33% 100.00% 50.49% 4.7 Effect of the Planning Model The results across the three planning models reveal clear model-dependent differences in susceptibility to manipulated environment-state semantics. ESTI achieves average P-ASR values of 99.12%, 79.06%, and 97.04% on DeepSeek-V4-Pro, GPT-5.6-luna, and Qwen-3.6-Plus, respectively. The lower average for GPT-5.6-luna is mainly caused by its 47.62% P-ASR on AI2-THOR, despite reaching 98.18% on ProgPrompt and 91.38% on VoxPoser. In contrast, DeepSeek-V4-Pro and Qwen-3.6-Plus remain highly susceptible across most environments. This variation indicates that the planning-level effect of state-semantic manipulation depends on both the underlying LLM and the environment in which state evidence is incorporated into planning. Despite this variation, ESTI consistently achieves the highest P-ASR and E-ASR across all evaluated modelâenvironment combinations. In particular, even for GPT-5.6-luna on AI2-THOR, where the planning-level susceptibility is substantially lower, ESTI reaches 47.62% P-ASR and 34.29% E-ASR, whereas the compared baselines achieve only 5.71â6.67% on both metrics. Similarly, ESTI maintains near-saturated P-ASR on Qwen-3.6-Plus while preserving the strongest execution-level performance. These results show that the effectiveness of ESTI is not specific to a particular planning model and that representing adversarial objectives as native environment-state evidence remains effective across planners with different sensitivities. The model differences are notably smaller at the execution level. ESTI achieves average E-ASR values of 45.75%, 46.44%, and 47.77% on DeepSeek-V4-Pro, GPT-5.6-luna, and Qwen-3.6-Plus, respectively, a range of only 2.02 percentage points compared with a 20.06-point range in average P-ASR. Moreover, GPT-5.6-luna reaches 63.64% E-ASR on ProgPrompt despite its lower overall planning-level susceptibility, while Qwen-3.6-Plus achieves 50.49% on AI2-THOR and 48.39% on VoxPoser. This result reinforces the distinction between planner susceptibility and execution realization: a higher P-ASR does not necessarily translate proportionally into a higher E-ASR. Once an adversarial plan is generated, its realization is further determined by plan quality, action preconditions, reachability, and environment-specific execution constraints. This suggests that planner choice mainly affects planning susceptibility, while execution success also depends on embodied constraints. 4.8 Ablation Study Table 5: Ablation study of ESTI. All variants share the same dataset-level groundability filter. The w/o Runtime Re-grounding variant removes only the injection-time identifier and precondition refresh. Each configuration is evaluated three times and averaged. Results are percentages (%). Setting P-ASR â E-ASR â w/o Runtime Re-grounding 98.08% 44.23% w/o Native-Carrier Matching 12.50% 6.73% w/o Representation Consistency 37.50% 25.00% Full ESTI 100.00% 48.08% Table 5 shows that native-carrier matching and representation-level consistency contribute most strongly to ESTIâs planning-level effectiveness. Removing native-carrier matching reduces P-ASR from 100.00% to 12.50%, while removing representation consistency lowers it to 37.50%. E-ASR decreases accordingly to 6.73% and 25.00%, respectively, indicating that semantically appropriate state fields and consistent manipulated records are important for making false environment-state evidence effective during embodied planning. The E-ASR reductions should not be interpreted as direct evidence that these components improve the conditional planning-to-execution conversion rate. P-ASR and E-ASR use the same clean-success denominator, and removing either component substantially reduces the number of samples that first reach an attacker-aligned plan. Execution success remains additionally constrained by reachability, action preconditions, plan quality, and platform-specific execution requirements. In contrast, removing runtime re-grounding changes P-ASR by only 1.92 percentage points and E-ASR by 3.85 points. This modest effect is consistent with the matched groundability protocol, where object existence, supported interactions, candidate destinations, and key preconditions are already validated during dataset construction. Runtime re-grounding therefore acts as a lightweight robustness mechanism rather than a primary source of ESTIâs effectiveness. Overall, ESTIâs advantage is mainly associated with native state-carrier construction and representation-level consistency, with runtime re-grounding providing a smaller incremental benefit. 5 Conclusion We introduce ESTI, to our knowledge the first closed-loop environment state-text injection attack for LLM-driven embodied agents. ESTI treats planner-visible state text as an attack surface and encodes a fixed adversarial objective as component-scoped, predicate-local, schema-preserving state evidence while leaving the user instruction, planner, and executor unchanged. Across ProgPrompt/VirtualHome, VoxPoser/RLBench, and AI2-THOR/iTHOR, the results show that such state evidence can alter high-level plans and propagate through execution to verifiable final-state consequences, while the planning-to-execution gap demonstrates that planner deviation alone is insufficient to characterize embodied attack success. With dataset-level groundability held fixed, the ablation further shows that carrier compatibility and representation-level consistency strongly affect planning adoption, whereas runtime re-grounding provides only a small incremental benefit. The real-robot study provides a controlled proof of concept that planner-visible state-text manipulation can produce observable physical deviation. Future work will extend ESTI-Bench with cross-platform datasets, multimodal state injection, stronger defenses, and sim-to-real evaluation. One direction is to integrate onboard perception and constructed multimodal states, enabling closed-loop evaluation from sensory input to physical consequences. Another is to investigate state-provenance tracking, cross-modal consistency checking, and execution-time verification on tasks and real robotic platforms. We plan to study adaptive state corruption in long-horizon and dynamic tasks, where feedback may compound effects over time. References [1] Michael Ahn, Anthony Brohan, Noah Brown, et al. Do as I can, not as I say: Grounding language in robotic affordances. In Conference on Robot Learning, 2022. https://arxiv.org/abs/2204.01691. [2] Jean-Baptiste Alayrac, Jeff Donahue, Pauline Luc, et al. Flamingo: A visual language model for few-shot learning. In Advances in Neural Information Processing Systems, 2022. https://arxiv.org/abs/2204.14198. [3] Matthias Althoff, Olaf Stursberg, and Martin Buss. Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes. Nonlinear Analysis: Hybrid Systems, 4(2):233â249, 2010. https://doi.org/10.1016/j.nahs.2010.07.005. [4] Aaron D. Ames, Xiangru Xu, Jessy W. Grizzle, and Paulo Tabuada. Control barrier function based quadratic programs for safety critical systems. IEEE Transactions on Automatic Control, 62(8):3861â3876, 2017. https://doi.org/10.1109/TAC.2016.2638961. [5] Johan Bjorck, Francisco CastaĂąeda, Nikita Cherniadev, et al. GR00T N1: An open foundation model for generalist humanoid robots, 2025. https://arxiv.org/abs/2503.14734. [6] Anthony Brohan, Noah Brown, Justice Carbajal, Yevgen Chebotar, Xi Chen, Krzysztof Choromanski, Tianli Ding, Danny Driess, Avinava Dubey, Chelsea Finn, et al. Rt-2: Vision-language-action models transfer web knowledge to robotic control. arXiv preprint arXiv:2307.15818, 2023. https://arxiv.org/abs/2307.15818. [7] Tom B. Brown, Dandelion ManĂŠ, Aurko Roy, MartĂn Abadi, and Justin Gilmer. Adversarial patch, 2017. https://arxiv.org/abs/1712.09665. [8] Tom B. Brown, Benjamin Mann, Nick Ryder, et al. Language models are few-shot learners. In Advances in Neural Information Processing Systems, pages 1877â1901, 2020. https://arxiv.org/abs/2005.14165. [9] Luis Burbano, Diego Ortiz, Qi Sun, Siwei Yang, Haoqin Tu, Cihang Xie, Yinzhi Cao, and Alvaro A Cardenas. Chai: Command hijacking against embodied ai. arXiv preprint arXiv:2510.00181, 2025. https://arxiv.org/abs/2510.00181. [10] Nicholas Carlini, Daphne Ippolito, Matthew Jagielski, Katherine Lee, Florian Tramèr, and Chiyuan Zhang. Extracting training data from large language models. In USENIX Security Symposium, 2021. https://w.usenix.org/conference/usenixsecurity21/presentation/carlini-extracting. [11] Mark Chen, Jerry Tworek, Heewoo Jun, et al. Evaluating large language models trained on code, 2021. https://arxiv.org/abs/2107.03374. [12] Edoardo Debenedetti, Jie Zhang, Mislav BalunoviÄ, Luca Beurer-Kellner, Marc Fischer, and Florian Tramèr. Agentdojo: A dynamic environment to evaluate prompt injection attacks and defenses for LLM agents. In Advances in Neural Information Processing Systems, Datasets and Benchmarks Track, 2024. https://arxiv.org/abs/2406.13352. [13] Xiang Deng, Yu Gu, Boyuan Zheng, Shijie Chen, Samuel Stevens, Boshi Wang, Huan Sun, and Yu Su. Mind2web: Towards a generalist agent for the web. In Advances in Neural Information Processing Systems, 2023. https://arxiv.org/abs/2306.06070. [14] Danny Driess, Fei Xia, Mehdi S. M. Sajjadi, et al. PaLM-E: An embodied multimodal language model. In International Conference on Machine Learning, pages 8469â8488, 2023. https://arxiv.org/abs/2303.03378. [15] Kevin Eykholt, Ivan Evtimov, Earlence Fernandes, Bo Li, Amir Rahmati, Chaowei Xiao, Atul Prakash, Tadayoshi Kohno, and Dawn Song. Robust physical-world attacks on deep learning visual classification. In IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2018. https://doi.org/10.1109/CVPR.2018.00175. [16] Ian Goodfellow, Jonathon Shlens, and Christian Szegedy. Explaining and harnessing adversarial examples. In International Conference on Learning Representations, 2015. https://arxiv.org/abs/1412.6572. [17] Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, and Mario Fritz. Not what youâve signed up for: Compromising real-world LLM-integrated applications with indirect prompt injection. In ACM Workshop on Artificial Intelligence and Security, pages 79â90, 2023. https://arxiv.org/abs/2302.12173. [18] Chenguang Huang, Oier Mees, Andy Zeng, and Wolfram Burgard. Visual language maps for robot navigation. In IEEE International Conference on Robotics and Automation, 2023. https://arxiv.org/abs/2210.05714. [19] Wenlong Huang, Pieter Abbeel, Deepak Pathak, and Igor Mordatch. Language models as zero-shot planners: Extracting actionable knowledge for embodied agents. In International Conference on Machine Learning, pages 9118â9147, 2022. https://doi.org/10.48550/arXiv.2201.07207. [20] Wenlong Huang, Chen Wang, Ruohan Zhang, Yunzhu Li, Jiajun Wu, and Li Fei-Fei. Voxposer: Composable 3d value maps for robotic manipulation with language models. arXiv preprint arXiv:2307.05973, 2023. https://arxiv.org/abs/2307.05973. [21] Wenlong Huang, Fei Xia, Ted Xiao, et al. Inner monologue: Embodied reasoning through planning with language models. In Conference on Robot Learning, pages 1769â1782, 2023. https://arxiv.org/abs/2207.05608. [22] Yunfan Jiang, Agrim Gupta, Zichen Zhang, Guanzhi Wang, Yen-Ling Dou, Yifeng Chen, Li Fei-Fei, Anima Anandkumar, Yuke Zhu, and Linxi Fan. VIMA: General robot manipulation with multimodal prompts. In International Conference on Machine Learning, 2023. https://arxiv.org/abs/2210.03094. [23] Takeshi Kojima, Shixiang Shane Gu, Machel Reid, Yutaka Matsuo, and Yusuke Iwasawa. Large language models are zero-shot reasoners. In Advances in Neural Information Processing Systems, pages 22199â22213, 2022. https://arxiv.org/abs/2205.11916. [24] Eric Kolve, Roozbeh Mottaghi, Winson Han, Eli VanderBilt, Luca Weihs, Alvaro Herrasti, Matt Deitke, Kiana Ehsani, Daniel Gordon, Yuke Zhu, et al. Ai2-thor: An interactive 3d environment for visual ai. arXiv preprint arXiv:1712.05474, 2017. https://arxiv.org/abs/1712.05474. [25] Alexey Kurakin, Ian Goodfellow, and Samy Bengio. Adversarial examples in the physical world. In International Conference on Learning Representations Workshop, 2017. https://arxiv.org/abs/1607.02533. [26] Przemyslaw A. Lasota, Terrence Fong, and Julie A. Shah. A survey of methods for safe human-robot interaction. Foundations and Trends in Robotics, 5(4):261â349, 2017. https://doi.org/10.1561/2300000035. [27] Minghao Li, Yingxiu Zhao, Bowen Yu, Feifan Song, Hangyu Li, Haiyang Yu, Zhoujun Li, Fei Huang, and Yongbin Li. API-Bank: A comprehensive benchmark for tool-augmented LLMs. In Proceedings of the 2023 conference on empirical methods in natural language processing, pages 3102â3116, 2023. https://aclanthology.org/2023.emnlp-main.187/. [28] Jacky Liang, Wenlong Huang, Fei Xia, et al. Code as policies: Language model programs for embodied control. In IEEE International Conference on Robotics and Automation, pages 9493â9500, 2023. https://code-as-policies.github.io/. [29] Shuyuan Liu, Jiawei Chen, Shouwei Ruan, Hang Su, and Zhaoxia Yin. Exploring the robustness of decision-level through adversarial attacks on LLM-based embodied models. In Proceedings of the 32nd ACM international conference on multimedia, pages 8120â8128, 2024. https://doi.org/10.1145/3664647.3680616. [30] Yi Liu, Gelei Deng, Yuekang Li, et al. Prompt injection attack against LLM-integrated applications, 2023. https://arxiv.org/abs/2306.05499. [31] Reiichiro Nakano, Jacob Hilton, Suchir Balaji, Jeffrey Wu, Long Ouyang, Christina Kim, Christopher Hesse, Shantanu Jain, Vineet Kosaraju, William Saunders, et al. WebGPT: Browser-assisted question-answering with human feedback, 2021. https://arxiv.org/abs/2112.09332. [32] Aishwarya Padmakumar, Jesse Thomason, Ayush Shrivastava, Peter Lange, Anjali Narayan-Chen, Spandana Gella, Rishabh Piramuthu, Gokhan Tur, and Dilek Hakkani-Tur. TEACh: Task-driven embodied agents that chat. In AAAI Conference on Artificial Intelligence, 2022. https://arxiv.org/abs/2110.00534. [33] Shishir G. Patil, Tianjun Zhang, Xin Wang, and Joseph E. Gonzalez. Gorilla: Large language model connected with massive APIs, 2023. https://arxiv.org/abs/2305.15334. [34] Ethan Perez, Saffron Huang, Francis Song, Trevor Cai, Roman Ring, John Aslanides, Amelia Glaese, Nat McAleese, and Geoffrey Irving. Red teaming language models with language models. In Conference on Empirical Methods in Natural Language Processing, 2022. https://aclanthology.org/2022.emnlp-main.225/. [35] FĂĄbio Perez and Ian Ribeiro. Ignore previous prompt: Attack techniques for language models, 2022. https://arxiv.org/abs/2211.09527. [36] Xavier Puig, Kevin K. Ra, Marko Boben, Jiaman Li, Tingwu Wang, Sanja Fidler, and Antonio Torralba. Virtualhome: Simulating household activities via programs. In IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2018. https://arxiv.org/abs/1806.07011. [37] Yujia Qin, Shengding Liang, Yining Ye, Kunlun Zhu, Lian Yan, Yaxi Lu, Yujia Lin, Xin Cong, Xiangru Tang, Bill Qian, et al. ToolLLM: Facilitating large language models to master 16000+ real-world APIs. In International Conference on Learning Representations, 2024. https://arxiv.org/abs/2307.16789. [38] Krishan Rana, James Haviland, Sourabh Garg, Jad Abou-Chakra, Ian Reid, and Niko SĂźnderhauf. Sayplan: Grounding large language models using 3D scene graphs for scalable robot task planning. In Conference on Robot Learning, 2023. https://arxiv.org/abs/2307.06135. [39] Scott Reed, Konrad Zolna, Emilio Parisotto, Sergio G. Colmenarejo, Alexander Novikov, Gabriel Barth-Maron, Misha Gimenez, Yury Sulsky, Jackie Kay, Jost Tobias Springenberg, et al. A generalist agent. Transactions on Machine Learning Research, 2022. https://arxiv.org/abs/2205.06175. [40] Alexander Robey, Zachary Ravichandran, Vijay Kumar, Hamed Hassani, and George J. Pappas. Jailbreaking LLM-controlled robots, 2024. https://arxiv.org/abs/2410.13691. [41] Manolis Savva, Abhishek Kadian, Oleksandr Maksymets, Yili Zhao, Erik Wijmans, Bhavana Jain, Julian Straub, Jia Liu, Vladlen Koltun, Jitendra Malik, et al. Habitat: A platform for embodied AI research. In IEEE/CVF International Conference on Computer Vision, 2019. https://arxiv.org/abs/1904.01201. [42] Timo Schick, Jane Dwivedi-Yu, Roberto DessĂŹ, et al. Toolformer: Language models can teach themselves to use tools. In Advances in Neural Information Processing Systems, 2023. https://arxiv.org/abs/2302.04761. [43] Noah Shinn, Federico Cassano, Ashwin Gopinath, Karthik Narasimhan, and Shunyu Yao. Reflexion: Language agents with verbal reinforcement learning. In Advances in Neural Information Processing Systems, 2023. https://arxiv.org/abs/2303.11366. [44] Mohit Shridhar, Lucas Manuelli, and Dieter Fox. CLIPort: What and where pathways for robotic manipulation. In Conference on Robot Learning, 2022. https://arxiv.org/abs/2109.12098. [45] Mohit Shridhar, Lucas Manuelli, and Dieter Fox. Peract: Perceiver-actor for 6-DoF manipulation. In Conference on Robot Learning, 2022. https://arxiv.org/abs/2209.05451. [46] Mohit Shridhar, Jesse Thomason, Daniel Gordon, Yonatan Bisk, Winson Han, Roozbeh Mottaghi, Luke Zettlemoyer, and Dieter Fox. ALFRED: A benchmark for interpreting grounded instructions for everyday tasks. In IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020. https://arxiv.org/abs/1912.01734. [47] Mohit Shridhar, Xingdi Yuan, Marc-Alexandre CĂ´tĂŠ, Yonatan Bisk, Adam Trischler, and Matthew Hausknecht. ALFWorld: Aligning text and embodied environments for interactive learning. In International Conference on Learning Representations, 2021. https://arxiv.org/abs/2010.03768. [48] Ishika Singh, Valts Blukis, Arsalan Mousavian, Ankit Goyal, Danfei Xu, Jonathan Tremblay, Dieter Fox, Jesse Thomason, and Animesh Garg. Progprompt: Generating situated robot task plans using large language models. arXiv preprint arXiv:2209.11302, 2022. https://doi.org/10.48550/arXiv.2209.11302. [49] Sanjana Srivastava, Cheng Li, Michael Lingelbach, Roberto MartĂn-MartĂn, Fei Xia, Kalle Vainio, Zhutian Lian, Cem Gokmen, Shubham Buch, Karen Liu, et al. BEHAVIOR: Benchmark for everyday household activities in virtual, interactive, and ecological environments. In Conference on Robot Learning, 2022. https://arxiv.org/abs/2108.03332. [50] Christian Szegedy, Wojciech Zaremba, Ilya Sutskever, Joan Bruna, Dumitru Erhan, Ian Goodfellow, and Rob Fergus. Intriguing properties of neural networks. In International Conference on Learning Representations, 2014. https://arxiv.org/abs/1312.6199. [51] Jiachen Tu, Mengye Ren, Sivabalan Manivasagam, Ming Liang, Bin Yang, Rui Du, Fei Cheng, and Raquel Urtasun. Physically realizable adversarial examples for LiDAR object detection. In IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020. https://doi.org/10.1109/CVPR42600.2020.01373. [52] Guanzhi Wang, Yuqi Xie, Yu Jiang, Ajay Mandlekar, Chaowei Xiao, Yuke Zhu, Linxi Fan, and Anima Anandkumar. Voyager: An open-ended embodied agent with large language models, 2023. https://arxiv.org/abs/2305.16291. [53] Xudong Wang, Binyuan Li, Yifan Song, Frank F. Xu, Xiangru Tang, Mingchen Zhuge, Jiaqi Pan, Yiheng Song, Bing Li, Jaskirat Singh, et al. Opendevin: An open platform for AI software developers as generalist agents, 2024. https://arxiv.org/abs/2407.16741. [54] Alexander Wei, Nika Haghtalab, and Jacob Steinhardt. Jailbroken: How does LLM safety training fail? In Advances in Neural Information Processing Systems, 2023. https://arxiv.org/abs/2307.02483. [55] Jason Wei, Xuezhi Wang, Dale Schuurmans, et al. Chain-of-thought prompting elicits reasoning in large language models. In Advances in Neural Information Processing Systems, pages 24824â24837, 2022. https://arxiv.org/abs/2201.11903. [56] Tianbao Xie, Danyang Zhang, Jiawei Chen, Xin Li, Sheng Zhao, Ruisheng Cao, Tianyi Jessica Hua, Zhenyu Cheng, Donghoon Shin, Fei Lei, et al. OSWorld: Benchmarking multimodal agents for open-ended tasks in real computer environments. In Advances in Neural Information Processing Systems, 2024. https://arxiv.org/abs/2404.07972. [57] John Yang, Carlos E. Jimenez, Alexander Wettig, Kilian Lieret, Shunyu Yao, Karthik Narasimhan, and Ofir Press. SWE-agent: Agent-computer interfaces enable automated software engineering. In Advances in Neural Information Processing Systems, 2024. https://arxiv.org/abs/2405.15793. [58] Shunyu Yao, Howard Chen, John Yang, and Karthik Narasimhan. Webshop: Towards scalable real-world web interaction with grounded language agents. In Advances in Neural Information Processing Systems, 2022. https://arxiv.org/abs/2207.01206. [59] Shunyu Yao, Jeffrey Zhao, Dian Yu, et al. ReAct: Synergizing reasoning and acting in language models. In International Conference on Learning Representations, 2023. https://openreview.net/forum?id=WE_vluYUL-X. [60] Jingwei Yi, Yueqi Xie, Bohan Zhu, et al. Benchmarking and defending against indirect prompt injection attacks on large language models, 2023. https://arxiv.org/abs/2312.14197. [61] Qiusi Zhan, Zhen Liang, Zifan Ying, and Daniel Kang. Injecagent: Benchmarking indirect prompt injections in tool-integrated large language model agents. In Findings of the Association for Computational Linguistics: ACL 2024, pages 10471â10506, 2024. https://aclanthology.org/2024.findings-acl.624/. [62] Hangtao Zhang, Chenyu Zhu, Xianlong Wang, Ziqi Zhou, Changgan Yin, Minghui Li, Lulu Xue, Yichen Wang, Shengshan Hu, Aishan Liu, et al. Badrobot: Jailbreaking embodied llm agents in the physical world. arXiv preprint arXiv:2407.20242, 2024. https://arxiv.org/abs/2407.20242. [63] Andy Zou, Zifan Wang, Nicholas Carlini, Milad Nasr, J. Zico Kolter, and Matt Fredrikson. Universal and transferable adversarial attacks on aligned language models, 2023. https://arxiv.org/abs/2307.15043.