:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Abeywickrama, Dhaminda B., Fisher, Michael, Wheeler, Frederic, Dennis, Louise
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Artificial Intelligence I.2.9; D.2; I.6
Online Access:	https://arxiv.org/abs/2511.14805
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems
by: Abeywickrama, Dhaminda B., et al.
Published: (2025)

Autonomous Robotic Swarms: A Corroborative Approach for Verification and Validation
by: Abeywickrama, Dhaminda B., et al.
Published: (2024)

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

AI-Assisted Engineering Should Track the Epistemic Status and Temporal Validity of Architectural Decisions
by: Gilda, Sankalp, et al.
Published: (2026)

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

From Assistance to Agency: Rethinking Autonomy and Control in CI/CD Pipelines
by: Barnes, Marcus Emmanuel, et al.
Published: (2026)

MLOps with Microservices: A Case Study on the Maritime Domain
by: Ferreira, Renato Cordeiro, et al.
Published: (2025)

PyGemini: Unified Software Development towards Maritime Autonomy Systems
by: Vasstein, Kjetil, et al.
Published: (2025)

Beyond Greenfield: The D3 Framework for AI-Driven Productivity in Brownfield Engineering
by: Sharma, Krishna Kumaar
Published: (2025)

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

Multimodal Generative AI for Story Point Estimation in Software Development
by: Islam, Mohammad Rubyet, et al.
Published: (2025)

Dance of the ADS: Orchestrating Failures through Historically-Informed Scenario Fuzzing
by: Wang, Tong, et al.
Published: (2024)

Implementing AI Bill of Materials (AI BOM) with SPDX 3.0: A Comprehensive Guide to Creating AI and Dataset Bill of Materials
by: Bennet, Karen, et al.
Published: (2025)

Implementing Knowledge Representation and Reasoning with Object Oriented Design
by: Bassiouny, Abdelrhman, et al.
Published: (2026)

MARIA: A Framework for Marginal Risk Assessment without Ground Truth in AI Systems
by: Chen, Jieshan, et al.
Published: (2025)

VLA Foundry: A Unified Framework for Training Vision-Language-Action Models
by: Mercat, Jean, et al.
Published: (2026)

Autonomous Navigation and Collision Avoidance for Mobile Robots: Classification and Review
by: de Carvalho, Marcus Vinicius Leal, et al.
Published: (2024)

Bridging the Sim-to-Real Gap with multipanda ros2: A Real-Time ROS2 Framework for Multimanual Systems
by: Škerlj, Jon, et al.
Published: (2026)

Towards Explainable Test Case Prioritisation with Learning-to-Rank Models
by: Ramírez, Aurora, et al.
Published: (2024)

Agentic Business Process Management: Practitioner Perspectives on Agent Governance in Business Processes
by: Vu, Hoang, et al.
Published: (2025)

From Everything-is-a-File to Files-Are-All-You-Need: How Unix Philosophy Informs the Design of Agentic AI Systems
by: Piskala, Deepak Babu
Published: (2026)

Reconsidering Requirements Engineering: Human-AI Collaboration in AI-Native Software Development
by: Abbasi, Mateen Ahmed, et al.
Published: (2025)

Augment Engineering: A Methodology for Multi-Tool AI Orchestration Across Professional Domains
by: Calboreanu, Elias
Published: (2026)

Emergent Formal Verification: How an Autonomous AI Ecosystem Independently Discovered SMT-Based Safety Across Six Domains
by: Untila, Octavian
Published: (2026)

Extending Structural Causal Models for Autonomous Vehicles to Simplify Temporal System Construction & Enable Dynamic Interactions Between Agents
by: Howard, Rhys, et al.
Published: (2024)

GammaZero: Learning To Guide POMDP Belief Space Search With Graph Representations
by: Mangannavar, Rajesh, et al.
Published: (2025)

Improving Agent Behaviors with RL Fine-tuning for Autonomous Driving
by: Peng, Zhenghao, et al.
Published: (2024)

Human-AI Programming Role Optimization: Developing a Personality-Driven Self-Determination Framework
by: Valovy, Marcel
Published: (2025)

MFH: A Multi-faceted Heuristic Algorithm Selection Approach for Software Verification
by: Su, Jie, et al.
Published: (2025)

Closed-Loop Neural Activation Control in Vision-Language-Action Models
by: Babu, Abhijith, et al.
Published: (2026)

Multi-Agent Pathfinding with Non-Unit Integer Edge Costs via Enhanced Conflict-Based Search and Graph Discretization
by: Fan, Hongkai, et al.
Published: (2026)

Simulation-Based Counterfactual Causal Discovery on Real World Driver Behaviour
by: Howard, Rhys, et al.
Published: (2023)

Predictive Traffic Rule Compliance using Reinforcement Learning
by: Huang, Yanliang, et al.
Published: (2025)

Energy-Efficient Quadruped Locomotion with Compliant Feet
by: Pal, Pramod, et al.
Published: (2026)

Robo-CSK-Organizer: Commonsense Knowledge to Organize Detected Objects for Multipurpose Robots
by: Hidalgo, Rafael, et al.
Published: (2024)

Conservative Bias in Multi-Teacher Learning: Why Agents Prefer Low-Reward Advisors
by: Mesto, Maher, et al.
Published: (2025)

Atomic-Probe Governance for Skill Updates in Compositional Robot Policies
by: Qin, Xue, et al.
Published: (2026)

Software Defined Vehicle Code Generation: A Few-Shot Prompting Approach
by: Nguyen, Quang-Dung, et al.
Published: (2025)

The Single-File Test: A Longitudinal Public-Interface Evaluation of First-Output LLM Web Generation with Social Reach Tracking
by: Palacios, Diego Cabezas
Published: (2026)

AuditRepairBench: A Paired-Execution Trace Corpus for Evaluator-Channel Ranking Instability in Agent Repair
by: Hu, Yuelin, et al.
Published: (2026)