Copertina

Verification and Validation of Autonomous Systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Shetiya, Sneha Sudhir, Vyas, Vikas, Renukuntla, Shreyas
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Zonal Architecture Development with evolution of Artificial Intelligence
di: Shetiya, Sneha Sudhir, et al.
Pubblicazione: (2024)

Key Safety Design Overview in AI-driven Autonomous Vehicles
di: Vyas, Vikas, et al.
Pubblicazione: (2024)

Intelligent Electric Power Steering: Artificial Intelligence Integration Enhances Vehicle Safety and Performance
di: Vyas, Vikas, et al.
Pubblicazione: (2024)

Autonomous Vehicles: Evolution of Artificial Intelligence and Learning Algorithms
di: Garikapati, Divya, et al.
Pubblicazione: (2024)

Learning Correct Behavior from Examples: Validating Sequential Execution in Autonomous Agents
di: Sharma, Reshabh K, et al.
Pubblicazione: (2026)

Towards Automated Formal Verification of Backend Systems with LLMs
di: Xu, Kangping, et al.
Pubblicazione: (2025)

Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems
di: Ferrando, Angelo
Pubblicazione: (2025)

Safety Analysis of Autonomous Railway Systems: An Introduction to the SACRED Methodology
di: Hunter, Josh, et al.
Pubblicazione: (2024)

Liquid Interfaces: A Dynamic Ontology for the Interoperability of Autonomous Systems
di: de Sá, Dhiogo, et al.
Pubblicazione: (2026)

Generative AI for Testing of Autonomous Driving Systems: A Survey
di: Song, Qunying, et al.
Pubblicazione: (2025)

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems
di: Kirchner, Sven, et al.
Pubblicazione: (2025)

On the Effectiveness of LLMs for Manual Test Verifications
di: Peixoto, Myron David Lucena Campos, et al.
Pubblicazione: (2024)

Multimodal Learning for Just-In-Time Software Defect Prediction in Autonomous Driving Systems
di: Mohammad, Faisal, et al.
Pubblicazione: (2025)

Agyn: A Multi-Agent System for Team-Based Autonomous Software Engineering
di: Benkovich, Nikita, et al.
Pubblicazione: (2026)

AgentGuard: Runtime Verification of AI Agents
di: Koohestani, Roham
Pubblicazione: (2025)

Bridging the Gap between Real-world and Synthetic Images for Testing Autonomous Driving Systems
di: Amini, Mohammad Hossein, et al.
Pubblicazione: (2024)

A Case Study on AI Engineering Practices: Developing an Autonomous Stock Trading System
di: Grote, Marcel, et al.
Pubblicazione: (2023)

Empirical Analysis and Detection of Hallucinations in LLM-Generated Bug Report Summaries
di: Nirujan, Hinduja, et al.
Pubblicazione: (2026)

Reflective Paper-to-Code Reproduction Enabled by Fine-Grained Verification
di: Zhou, Mingyang, et al.
Pubblicazione: (2025)

STCLocker: Deadlock Avoidance Testing for Autonomous Driving Systems
di: Cheng, Mingfei, et al.
Pubblicazione: (2025)

Analysis of LLM Performance on AWS Bedrock: Receipt-item Categorisation Case Study
di: Sanchez, Gabby, et al.
Pubblicazione: (2026)

Direction for Detection: A Survey of Automated Vulnerability Detection and all of its Pain Points
di: Ristea, Dan, et al.
Pubblicazione: (2024)

Chain of Targeted Verification Questions to Improve the Reliability of Code Generated by LLMs
di: Ngassom, Sylvain Kouemo, et al.
Pubblicazione: (2024)

Automated Repair of AI Code with Large Language Models and Formal Verification
di: Charalambous, Yiannis, et al.
Pubblicazione: (2024)

Solver-Aided Verification of Policy Compliance in Tool-Augmented LLM Agents
di: Winston, Cailin, et al.
Pubblicazione: (2026)

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation
di: Li, Jingyang, et al.
Pubblicazione: (2026)

Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs
di: Corazza, Jan, et al.
Pubblicazione: (2025)

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK
di: Cramer, Marcos, et al.
Pubblicazione: (2025)

Boundary State Generation for Testing and Improvement of Autonomous Driving Systems
di: Biagiola, Matteo, et al.
Pubblicazione: (2023)

Risk Structures: Towards Engineering Risk-aware Autonomous Systems
di: Gleirscher, Mario
Pubblicazione: (2019)

Verification-Guided Context Optimization for Tool Calling via Hierarchical LLMs-as-Editors
di: Li, Henger, et al.
Pubblicazione: (2025)

VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus
di: Sun, Chuyue, et al.
Pubblicazione: (2025)

Automated Validation of COBOL to Java Transformation
di: Kumar, Atul, et al.
Pubblicazione: (2025)

FastCoder: Accelerating Repository-level Code Generation via Efficient Retrieval and Verification
di: Zhao, Qianhui, et al.
Pubblicazione: (2025)

Vision2Web: A Hierarchical Benchmark for Visual Website Development with Agent Verification
di: He, Zehai, et al.
Pubblicazione: (2026)

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification
di: Li, Zenan, et al.
Pubblicazione: (2026)

RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation
di: Zhong, Sicheng, et al.
Pubblicazione: (2025)

ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification
di: Pirzada, Muhammad A. A., et al.
Pubblicazione: (2026)

RefEvo: Agentic Design with Co-Evolutionary Verification for Agile Reference Model Generation
di: Zhang, Yifan, et al.
Pubblicazione: (2026)

Extended Empirical Validation of the Explainability Solution Space
di: Mestre, Antoni, et al.
Pubblicazione: (2026)