Cover Image

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Gruteser, Jan, Roßbach, Jan, Vu, Fabian, Leuschel, Michael
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Artificial Intelligence Computer Vision and Pattern Recognition
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formal Reasoning About Confidence and Automated Verification of Neural Networks
by: Afzal, Mohammad, et al.
Published: (2025)

Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification
by: Singh, Vikash, et al.
Published: (2026)

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report
by: Bukhari, Syed Ali Asadullah, et al.
Published: (2024)

Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems
by: Shahid, Mahnoor, et al.
Published: (2026)

Double-Stage Feature-Level Clustering-Based Mixture of Experts Framework
by: Badjie, Bakary, et al.
Published: (2025)

Formally Certified Approximate Model Counting
by: Tan, Yong Kiam, et al.
Published: (2024)

Enhancing Vision Language Models with Logic Reasoning for Situational Awareness
by: Pradeep, Pavana, et al.
Published: (2026)

Enhanced Drift-Aware Computer Vision Architecture for Autonomous Driving
by: Hossain, Md Shahi Amran, et al.
Published: (2025)

From Skeletons to Semantics: Design and Deployment of a Hybrid Edge-Based Action Detection System for Public Safety
by: Sethupathy, Ganen, et al.
Published: (2026)

Failure divergence refinement for Event-B
by: Stock, Sebastian, et al.
Published: (2025)

Concept-based Analysis of Neural Networks via Vision-Language Models
by: Mangal, Ravi, et al.
Published: (2024)

A Multimodal Framework for Deepfake Detection
by: Gandhi, Kashish, et al.
Published: (2024)

Enhancing Computer Vision with Knowledge: a Rummikub Case Study
by: Vandevelde, Simon, et al.
Published: (2024)

Luminark: Training-free, Probabilistically-Certified Watermarking for General Vision Generative Models
by: Xu, Jiayi, et al.
Published: (2026)

Improving Fuzzy-Logic based Map-Matching Method with Trajectory Stay-Point Detection
by: Jafarlou, Minoo, et al.
Published: (2022)

PromptGuard: An Orchestrated Prompting Framework for Principled Synthetic Text Generation for Vulnerable Populations using LLMs with Enhanced Safety, Fairness, and Controllability
by: Vu, Tung, et al.
Published: (2025)

Shields to Guarantee Probabilistic Safety in MDPs
by: Heck, Linus, et al.
Published: (2026)

GenShield: Unified Detection and Artifact Correction for AI-Generated Images
by: Xu, Zhipei, et al.
Published: (2026)

LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision
by: Huang, Jiani, et al.
Published: (2023)

Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing
by: Elboher, Yizhak, et al.
Published: (2024)

Network Inversion and Its Applications
by: Suhail, Pirzada, et al.
Published: (2024)

Data Collection for Training Quality-Control AI in Carpet Manufacturing
by: Erkinov, Akbar
Published: (2026)

Canopy Tree Height Estimation Using Quantile Regression: Modeling and Evaluating Uncertainty in Remote Sensing
by: Schrödter, Karsten, et al.
Published: (2026)

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
by: Florath, Andreas
Published: (2024)

Rethinking Evaluation Paradigms in IBP-based Certified Training
by: Kaulen, Konstantin, et al.
Published: (2026)

Clinical Validation of the Melanoscope AI Mobile Dermoscopy Clinical Decision Support System
by: Kozachok, Elena Sergeevna, et al.
Published: (2026)

Robust Kidney Abnormality Segmentation: A Validation Study of an AI-Based Framework
by: de Boer, Sarah, et al.
Published: (2025)

Conditioned Activation Transport for T2I Safety Steering
by: Chrabąszcz, Maciej, et al.
Published: (2026)

VLM-AutoDrive: Post-Training Vision-Language Models for Safety-Critical Autonomous Driving Events
by: Bhat, Mohammad Qazim, et al.
Published: (2026)

Nepotistically Trained Generative-AI Models Collapse
by: Bohacek, Matyas, et al.
Published: (2023)

Agentic Large Language Models for Training-Free Neuro-Radiological Image Analysis
by: Erdur, Ayhan Can, et al.
Published: (2026)

Training Deep Visual Networks Beyond Loss and Accuracy Through a Dynamical Systems Approach
by: La Quang, Hai, et al.
Published: (2026)

Efficient Multi-Object Tracking on Edge Devices via Reconstruction-Based Channel Pruning
by: Müller, Jan, et al.
Published: (2024)

Thought Flow Nets: From Single Predictions to Trains of Model Thought
by: Schuff, Hendrik, et al.
Published: (2021)

Facial Expression Recognition Using Residual Masking Network
by: Pham, Luan, et al.
Published: (2026)

Fast Person Detection Using YOLOX With AI Accelerator For Train Station Safety
by: Achmadiah, Mas Nurul, et al.
Published: (2026)

Certified Circuits: Stability Guarantees for Mechanistic Circuits
by: Anani, Alaa, et al.
Published: (2026)

DiffGuard: Text-Based Safety Checker for Diffusion Models
by: Khader, Massine El, et al.
Published: (2024)

D3: Training-Free AI-Generated Video Detection Using Second-Order Features
by: Zheng, Chende, et al.
Published: (2025)

Safety Assessment of Scaffolding on Construction Site using AI
by: Prabhu, Sameer, et al.
Published: (2025)