Cover Image

Governed Capability Evolution: Lifecycle-Time Compatibility Checking and Rollback for AI-Component-Based Systems, with Embodied Agents as Case Study

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Qin, Xue, Luan, Simin, See, John, Boukhers, Zeyd, Yang, Cong, Li, Zhijun
Format:	Preprint
Published:	2026
Subjects:	Robotics Artificial Intelligence I.2.9; D.2.4; D.2.7; D.4.6
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

ICAN-Deploy: Identity-Stable Canary Deployment for Safety-Critical Embodied Agents
by: Qin, Xue, et al.
Published: (2026)

Harnessing Embodied Agents: Runtime Governance for Policy-Constrained Execution
by: Qin, Xue, et al.
Published: (2026)

Secure coding for web applications: Frameworks, challenges, and the role of LLMs
by: Kiashemshaki, Kiana, et al.
Published: (2025)

ECM Contracts: Contract-Aware, Versioned, and Governable Capability Interfaces for Embodied Agents
by: Qin, Xue, et al.
Published: (2026)

Site Reliability Engineering (SRE) and Observations on SRE Process to Make Tasks Easier
by: Puli, Balaram
Published: (2025)

Context-Instrumental Data Distillation for Kubernetes Manifest Generation: Method and Experimental Evaluation
by: Kozachok, Andrey, et al.
Published: (2026)

PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement
by: Li, Xiaoqi, et al.
Published: (2026)

A History Equivalence Algorithm for Dynamic Process Migration
by: Bakshi, Gargi, et al.
Published: (2024)

Anumati: Proof of Adherence as a Formal Consent Model for Autonomous Agent Protocols
by: Kadaboina, Ravi Kiran
Published: (2026)

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
by: Garcia, Rémi, et al.
Published: (2024)

Model checking of hyperproperties for high-level relational models
by: Macedo, Nuno, et al.
Published: (2025)

Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
by: Susan, Ştefan-Claudiu, et al.
Published: (2025)

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
by: Mitra, Joydeep, et al.
Published: (2020)

Secure and Scalable Blockchain Voting: A Comparative Framework and the Role of Large Language Models
by: Kiashemshaki, Kiana, et al.
Published: (2025)

Decision Evidence Maturity Model for Agentic AI: A Property-Level Method Specification
by: Solozobov, Oleg
Published: (2026)

Predicting Known Vulnerabilities from Attack Descriptions Using Sentence Transformers
by: Othman, Refat
Published: (2026)

Analyzing the Adoption of Database Management Systems Throughout the History of Open Source Projects
by: Paiva, Camila A., et al.
Published: (2026)

Secure IVSHMEM: End-to-End Shared-Memory Protocol with Hypervisor-CA Handshake and In-Kernel Access Control
by: Kim, Hyunwoo, et al.
Published: (2025)

Swarm Contract: A Multi-Sovereign Agent Consensus Mechanism
by: Yang, Haowei
Published: (2024)

TerraFormer: Automated Infrastructure-as-Code with LLMs Fine-Tuned via Policy-Guided Verifier Feedback
by: Jana, Prithwish, et al.
Published: (2026)

AI Bill of Materials and Beyond: Systematizing Security Assurance through the AI Risk Scanning (AIRS) Framework
by: Nathanson, Samuel, et al.
Published: (2025)

Verifying Device Drivers with Pancake
by: Zhao, Junming, et al.
Published: (2025)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
by: Helbling, Caleb, et al.
Published: (2026)

cozy: Comparative Symbolic Execution for Binary Programs
by: Helbling, Caleb, et al.
Published: (2025)

Iterative Audit Convergence in LLM-Managed Multi-Agent Systems: A Case Study in Prompt Engineering Quality Assurance
by: Calboreanu, Elias
Published: (2026)

C8s: A Confidential Kubernetes Architecture
by: Asad, Amean, et al.
Published: (2026)

Combining Serverless and High-Performance Computing Paradigms to support ML Data-Intensive Applications
by: Staylor, Mills, et al.
Published: (2025)

Deep RC: A Scalable Data Engineering and Deep Learning Pipeline
by: Sarker, Arup Kumar, et al.
Published: (2025)

Design and Implementation of an Analysis Pipeline for Heterogeneous Data
by: Sarker, Arup Kumar, et al.
Published: (2024)

PyPackIT: Automated Research Software Engineering for Scientific Python Applications on GitHub
by: Ariamajd, Armin, et al.
Published: (2025)

The Range Shrinks, the Threat Remains: Re-evaluating LLM Package Hallucinations on the 2026 Frontier-Model Cohort
by: Churilov, Aleksandr
Published: (2026)

Combating Reentrancy Bugs on Sharded Blockchains
by: Kashitsyn, Roman, et al.
Published: (2025)

Towards Observation Lakehouses: Living, Interactive Archives of Software Behavior
by: Kessel, Marcus
Published: (2025)

AgentEval: DAG-Structured Step-Level Evaluation for Agentic Workflows with Error Propagation Tracking
by: Guo, Dongxin, et al.
Published: (2026)

Towards a Probabilistic Framework for Analyzing and Improving LLM-Enabled Software
by: Baldonado, Juan Manuel, et al.
Published: (2025)

Exploring Large Language Models for Access Control Policy Synthesis and Summarization
by: Vatsa, Adarsh, et al.
Published: (2025)

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems
by: Srinivasan, Trisanth, et al.
Published: (2025)

Constitutional Spec-Driven Development: Enforcing Security by Construction in AI-Assisted Code Generation
by: Marri, Srinivas Rao
Published: (2026)

ConfigSpec: Profiling-Based Configuration Selection for Distributed Edge--Cloud Speculative LLM Serving
by: Li, Xiangchen, et al.
Published: (2026)

WISP: Waste- and Interference-Suppressed Distributed Speculative LLM Serving at the Edge via Dynamic Drafting and SLO-Aware Batching
by: Li, Xiangchen, et al.
Published: (2026)