Copertina

Towards Continuous Assurance with Formal Verification and Assurance Cases

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Abeywickrama, Dhaminda B., Fisher, Michael, Wheeler, Frederic, Dennis, Louise
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering Artificial Intelligence I.2.9; D.2; I.6
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Cortex 2.0: Grounding World Models in Real-World Industrial Deployment
di: Aida, Adriana, et al.
Pubblicazione: (2026)

Sim-to-reality adaptation for Deep Reinforcement Learning applied to an underwater docking application
di: Chaarani, Alaaeddine, et al.
Pubblicazione: (2026)

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

Towards a Robust Soft Baby Robot With Rich Interaction Ability for Advanced Machine Learning Algorithms
di: Alhakami, Mohannad, et al.
Pubblicazione: (2024)

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

Closed-Loop Autonomous Software Development via Jira-Integrated Backlog Orchestration: A Case Study in Deterministic Control and Safety-Constrained Automation
di: Calboreanu, Elias
Pubblicazione: (2026)

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