Cover Image

Impact Analysis of Data Drift Towards The Development of Safety-Critical Automotive System

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hossain, Md Shahi Amran, Ahammed, Abu Shad, Biswas, Divya Prakash, Obermaisser, Roman
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Smart Health Software to Support Rescue Personnel in Emergency Situations
by: Ahammed, Abu Shad, et al.
Published: (2024)

A Computer Vision Approach for Autonomous Cars to Drive Safe at Construction Zone
by: Ahammed, Abu Shad, et al.
Published: (2024)

Integration of Computer Vision with Adaptive Control for Autonomous Driving Using ADORE
by: Ahammed, Abu Shad, et al.
Published: (2025)

Diagnosing Psychiatric Patients: Can Large Language and Machine Learning Models Perform Effectively in Emergency Cases?
by: Ahammed, Abu Shad, et al.
Published: (2025)

Synthesis of Universal Safety Controllers
by: Finkbeiner, Bernd, et al.
Published: (2025)

Universal Safety Controllers with Learned Prophecies
by: Finkbeiner, Bernd, et al.
Published: (2025)

Counterexample-Guided Repair of Reinforcement Learning Systems Using Safety Critics
by: Boetius, David, et al.
Published: (2024)

Reconstruction-Based Adaptive Scheduling Using AI Inferences in Safety-Critical Systems
by: Alshaer, Samer, et al.
Published: (2025)

Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking
by: Tulcan, Radu-Florin, et al.
Published: (2026)

Consistent Update Synthesis via Privatized Beliefs
by: Schlögl, Thomas, et al.
Published: (2024)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
by: Hansen, Helle Hvid, et al.
Published: (2025)

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

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance
by: Reimann, Jesse, et al.
Published: (2024)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
by: Artale, Alessandro, et al.
Published: (2025)

Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains
by: Benjumea, Diana C., et al.
Published: (2025)

Towards an Analysis of Proofs in Arithmetic
by: Leitsch, Alexander, et al.
Published: (2025)

On two consequences of CH established by Sierpinski. II
by: Pol, Roman, et al.
Published: (2024)

Pragmatic Formal Verification of Sequential Error Detection and Correction Codes (ECCs) used in Safety-Critical Design
by: Kumar, Aman
Published: (2024)

A Kunen-Like Model with a Critical Failure of the Continuum Hypothesis
by: Ben-Neria, Omer, et al.
Published: (2024)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
by: Hermes, Marc, et al.
Published: (2023)

Complexity of Safety and coSafety Fragments of Linear Temporal Logic
by: Artale, Alessandro, et al.
Published: (2022)

Paraconsistent Existential Graphs Gamma Peirce System
by: Sierra-Aristizabal, Manuel
Published: (2023)

Data Leakage in Automotive Perception: Practitioners' Insights
by: Babu, Md Abu Ahammed, et al.
Published: (2026)

Cut-free Deductive System for Continuous Intuitionistic Logic
by: Geoffroy, Guillaume
Published: (2025)

Towards a Proof System for Probabilistic Dynamic Logic
by: Johnsen, Einar Broch, et al.
Published: (2024)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
by: de Groot, Jim, et al.
Published: (2024)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
by: van der Giessen, Iris, et al.
Published: (2023)

Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended version)
by: Lopez-Miguel, Ignacio D., et al.
Published: (2025)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
by: Almeida, Rodrigo Nicolau
Published: (2023)

Two behavioural pseudometrics for continuous-time Markov processes
by: Chen, Linan, et al.
Published: (2025)

A behavioural pseudometric for continuous-time Markov processes
by: Chen, Linan, et al.
Published: (2025)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
by: Pacheco, Leonardo
Published: (2026)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
by: Lyon, Tim S.
Published: (2024)

A Type System for Data Flow and Alias Analysis in ReScript
by: Lund, Nicky Ask, et al.
Published: (2024)

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
by: Bilotta, Antonella
Published: (2025)

Towards solid abelian groups: A formal proof of Nöbeling's theorem
by: Asgeirsson, Dagur
Published: (2023)

Structural Analysis of Boolean Equation Systems
by: Keiren, Jeroen, et al.
Published: (2010)

The Proof Analysis Problem
by: Arteche, Noel, et al.
Published: (2025)

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
by: Rehan, Zainab, et al.
Published: (2026)