Buchumschlag

Towards Counterfactual Explanation and Assertion Inference for CPS Debugging

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ghazal, Zaid, Yusuf, Hadiza, Gaaloul, Khouloud
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Software Engineering Machine Learning Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems
von: Yusuf, Hadiza Umar, et al.
Veröffentlicht: (2025)

Grammar-Constrained Refinement of Safety Operational Rules Using Language in the Loop: What Could Go Wrong
von: Gaaloul, Khouloud, et al.
Veröffentlicht: (2026)

Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
von: Mandrioli, Claudio, et al.
Veröffentlicht: (2024)

ACT: Automated CPS Testing for Open-Source Robotic Platforms
von: Krishnan, Aditya A., et al.
Veröffentlicht: (2026)

On Extending the Automatic Test Markup Language (ATML) for Machine Learning
von: Cody, Tyler, et al.
Veröffentlicht: (2024)

Exploring Robustness of Image Recognition Models on Hardware Accelerators
von: Louloudakis, Nikolaos, et al.
Veröffentlicht: (2023)

Explainable AI for Engineering Design: A Unified Approach of Systems Engineering and Component- Based Deep Learning Demonstrated by Energy- Efficient Building Design
von: Geyer, Philipp, et al.
Veröffentlicht: (2021)

LEADS: Lightweight Embedded Assisted Driving System
von: Fu, Tianhao, et al.
Veröffentlicht: (2024)

Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging
von: Jayasuriya, Dinithi, et al.
Veröffentlicht: (2026)

Enabling Performant and Flexible Model-Internal Observability for LLM Inference
von: Yu, Nengneng, et al.
Veröffentlicht: (2026)

Digital Twin-based Out-of-Distribution Detection in Autonomous Vessels
von: Isaku, Erblin, et al.
Veröffentlicht: (2025)

Few-Shot Scenario Testing for Autonomous Vehicles Based on Neighborhood Coverage and Similarity
von: Li, Shu, et al.
Veröffentlicht: (2024)

The Open Autonomy Safety Case Framework
von: Wagner, Michael, et al.
Veröffentlicht: (2024)

AssertionBench: A Benchmark to Evaluate Large-Language Models for Assertion Generation
von: Pulavarthi, Vaishnavi, et al.
Veröffentlicht: (2024)

Uncertainty-Guided Label Rebalancing for CPS Safety Monitoring
von: Ayotunde, John, et al.
Veröffentlicht: (2026)

What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems
von: Bensalem, Saddek, et al.
Veröffentlicht: (2023)

DiTOX: Fault Detection and Localization in the ONNX Optimizer
von: Louloudakis, Nikolaos, et al.
Veröffentlicht: (2025)

LADRI: LeArning-based Dynamic Risk Indicator in Automated Driving System
von: Patel, Anil Ranjitbhai, et al.
Veröffentlicht: (2024)

Mining Action Rules for Defect Reduction Planning
von: Oueslati, Khouloud, et al.
Veröffentlicht: (2024)

Learning to Generate Unit Tests for Automated Debugging
von: Prasad, Archiki, et al.
Veröffentlicht: (2025)

Timing Analysis Agent: Autonomous Multi-Corner Multi-Mode (MCMM) Timing Debugging with Timing Debug Relation Graph
von: Nainani, Jatin, et al.
Veröffentlicht: (2025)

ChIRAAG: ChatGPT Informed Rapid and Automated Assertion Generation
von: Mali, Bhabesh, et al.
Veröffentlicht: (2024)

Performance Prediction for Large Systems via Text-to-Text Regression
von: Akhauri, Yash, et al.
Veröffentlicht: (2025)

Toward Debugging Deep Reinforcement Learning Programs with RLExplorer
von: Bouchoucha, Rached, et al.
Veröffentlicht: (2024)

Towards Using Behavior Trees in Industrial Automation Controllers
von: Sidorenko, Aleksandr, et al.
Veröffentlicht: (2024)

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
von: Foster, Simon, et al.
Veröffentlicht: (2020)

Automated Test Validators for Flaky Cyber-Physical System Simulators: Approach and Evaluation
von: Jodat, Baharin A., et al.
Veröffentlicht: (2025)

Bloch Vector Assertions for Debugging Quantum Programs
von: Oldfield, Noah H., et al.
Veröffentlicht: (2025)

STaleX: A Spatiotemporal-Aware Adaptive Auto-scaling Framework for Microservices
von: Dashtbani, Majid, et al.
Veröffentlicht: (2025)

Fault Localization for Buggy Deep Learning Framework Conversions in Image Recognition
von: Louloudakis, Nikolaos, et al.
Veröffentlicht: (2023)

DeltaNN: Assessing the Impact of Computational Environment Parameters on the Performance of Image Recognition Models
von: Louloudakis, Nikolaos, et al.
Veröffentlicht: (2023)

RED: Adaptive Real-Time DAG Scheduling for Robotic Inference under Environmental Dynamics
von: Li, Zexin, et al.
Veröffentlicht: (2026)

Productively Deploying Emerging Models on Emerging Platforms: A Top-Down Approach for Testing and Debugging
von: Feng, Siyuan, et al.
Veröffentlicht: (2024)

Systematic Evaluation of Initial States and Exploration-Exploitation Strategies in PID Auto-Tuning: A Framework-Driven Approach Applied on Mobile Robots
von: Ghazal, Zaid, et al.
Veröffentlicht: (2025)

Taming Silent Failures: A Framework for Verifiable AI Reliability
von: Yang, Guan-Yan, et al.
Veröffentlicht: (2025)

Inverse Optimality for Fair Digital Twins: A Preference-based approach
von: Masti, Daniele, et al.
Veröffentlicht: (2025)

Coordinating Stakeholders in the Consideration of Performance Indicators and Respective Interface Requirements for Automated Vehicles
von: Schubert, Richard, et al.
Veröffentlicht: (2026)

The Necessity of a Holistic Safety Evaluation Framework for AI-Based Automation Features
von: Abbaspour, Alireza, et al.
Veröffentlicht: (2026)

SHIA: A Direct SysML-Hardware Interface Architecture for Model-Centric Verification
von: Lewis, Charles, et al.
Veröffentlicht: (2026)

ProOPF: Benchmarking and Improving LLMs for Professional-Grade Power Systems Optimization Modeling
von: Shen, Chao, et al.
Veröffentlicht: (2026)