Imagen de Portada

Open Challenges in the Formal Verification of Autonomous Driving

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Burgio, Paolo, Ferrando, Angelo, Villani, Marco
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering Artificial Intelligence Distributed, Parallel, and Cluster Computing Robotics
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach
por: Zheng, Xi, et al.
Publicado: (2023)

Building AI Agents for Autonomous Clouds: Challenges and Design Principles
por: Shetty, Manish, et al.
Publicado: (2024)

SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems
por: Cheng, Qian, et al.
Publicado: (2025)

Why Does the LLM Stop Computing: An Empirical Study of User-Reported Failures in Open-Source LLMs
por: Yu, Guangba, et al.
Publicado: (2026)

Bridging the Gap: Empowering Small Models in Reliable OpenACC-based Parallelization via GEPA-Optimized Prompting
por: Jhaveri, Samyak, et al.
Publicado: (2026)

A Survey of Real-Time Support, Analysis, and Advancements in ROS 2
por: Casini, Daniel, et al.
Publicado: (2025)

Self-adaptive Multi-Access Edge Architectures: A Robotics Case
por: Moghaddam, Mahyar T, et al.
Publicado: (2026)

The Time is Here for Just-in-Time Systems: Challenges and Opportunities
por: Liu, Shu, et al.
Publicado: (2026)

Leveraging AI for Productive and Trustworthy HPC Software: Challenges and Research Directions
por: Teranishi, Keita, et al.
Publicado: (2025)

Domain Adaptation-based Edge Computing for Cross-Conditions Fault Diagnosis
por: Wang, Yanzhi, et al.
Publicado: (2024)

Performance-Aligned LLMs for Generating Fast Code
por: Nichols, Daniel, et al.
Publicado: (2024)

Atmosphere: Context and situational-aware collaborative IoT architecture for edge-fog-cloud computing
por: Ortiz, Guadalupe, et al.
Publicado: (2024)

Ten Years of Teaching Empirical Software Engineering in the context of Energy-efficient Software
por: Malavolta, Ivano, et al.
Publicado: (2024)

A Survey on Failure Analysis and Fault Injection in AI Systems
por: Yu, Guangba, et al.
Publicado: (2024)

Adapting Multi-objectivized Software Configuration Tuning
por: Chen, Tao, et al.
Publicado: (2024)

SemanticForge: Repository-Level Code Generation through Semantic Knowledge Graphs and Constraint Satisfaction
por: Zhang, Wuyang, et al.
Publicado: (2025)

Intelligent Load Balancing in Cloud Computer Systems
por: Sliwko, Leszek
Publicado: (2025)

Simplifying Root Cause Analysis in Kubernetes with StateGraph and LLM
por: Xiang, Yong, et al.
Publicado: (2025)

MMO: Meta Multi-Objectivization for Software Configuration Tuning
por: Chen, Pengzhou, et al.
Publicado: (2021)

On the Inference (In-)Security of Vertical Federated Learning: Efficient Auditing against Inference Tampering Attack
por: Huang, Chung-ju, et al.
Publicado: (2025)

VibeCodeHPC: An Agent-Based Iterative Prompting Auto-Tuner for HPC Code Generation Using LLMs
por: Hayashi, Shun-ichiro, et al.
Publicado: (2025)

LLMs as Packagers of HPC Software
por: Melone, Caetano, et al.
Publicado: (2025)

FIRST: Federated Inference Resource Scheduling Toolkit for Scientific AI Model Access
por: Tanikanti, Aditya, et al.
Publicado: (2025)

HPCAgentTester: A Multi-Agent LLM Approach for Enhanced HPC Unit Test Generation
por: Karanjai, Rabimba, et al.
Publicado: (2025)

From Edge to HPC: Investigating Cross-Facility Data Streaming Architectures
por: George, Anjus, et al.
Publicado: (2025)

PRAXIS: Integrating Program Analysis with Observability for Root-Cause Analysis
por: Cui, Shengkun, et al.
Publicado: (2025)

From Sensors to Insight: Rapid, Edge-to-Core Application Development for Sensor-Driven Applications
por: Thareja, Komal, et al.
Publicado: (2026)

(POSTER) From Sensors to Insight: Rapid, Edge-to-Core Application Development for Sensor-Driven Applications
por: Thareja, Komal, et al.
Publicado: (2026)

Local-Splitter: A Measurement Study of Seven Tactics for Reducing Cloud LLM Token Usage on Coding-Agent Workloads
por: Agyemang, Justice Owusu, et al.
Publicado: (2026)

From Legacy Fortran to Portable Kokkos: An Autonomous Agentic AI Workflow
por: Gupta, Sparsh, et al.
Publicado: (2025)

Cilium and VDM -- Towards Formal Analysis of Cilium Policies
por: Kulik, Tomas, et al.
Publicado: (2024)

AIOpsLab: A Holistic Framework to Evaluate AI Agents for Enabling Autonomous Clouds
por: Chen, Yinfang, et al.
Publicado: (2025)

Generative AI for Software Architecture. Applications, Challenges, and Future Directions
por: Esposito, Matteo, et al.
Publicado: (2025)

Multi-Grained Specifications for Distributed System Model Checking and Verification
por: Ouyang, Lingzhi, et al.
Publicado: (2024)

Reusable Formal Verification of DAG-based Consensus Protocols
por: Bertrand, Nathalie, et al.
Publicado: (2024)

AI for Distributed Systems Design: Scalable Cloud Optimization Through Repeated LLMs Sampling And Simulators
por: Tagliabue, Jacopo
Publicado: (2025)

Adaptive Protein Design Protocols and Middleware
por: Alsaadi, Aymen, et al.
Publicado: (2025)

LLOR: Automated Repair of OpenMP Programs
por: Bora, Utpal, et al.
Publicado: (2024)

Addressing Reproducibility Challenges in HPC with Continuous Integration
por: Hayot-Sasson, Valérie, et al.
Publicado: (2025)

Modern Middlewares for Automated Vehicles: A Tutorial
por: Klüner, David Philipp, et al.
Publicado: (2024)