Saved in:
| Main Authors: | Hossain, Md Shahi Amran, Ahammed, Abu Shad, Biswas, Divya Prakash, Obermaisser, Roman |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2408.04476 |
| 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)
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)
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)
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)
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)
by: Ahammed, Abu Shad, et al.
Published: (2025)
Synthesis of Universal Safety Controllers
by: Finkbeiner, Bernd, et al.
Published: (2025)
by: Finkbeiner, Bernd, et al.
Published: (2025)
Reconstruction-Based Adaptive Scheduling Using AI Inferences in Safety-Critical Systems
by: Alshaer, Samer, et al.
Published: (2025)
by: Alshaer, Samer, et al.
Published: (2025)
Universal Safety Controllers with Learned Prophecies
by: Finkbeiner, Bernd, et al.
Published: (2025)
by: Finkbeiner, Bernd, et al.
Published: (2025)
Counterexample-Guided Repair of Reinforcement Learning Systems Using Safety Critics
by: Boetius, David, et al.
Published: (2024)
by: Boetius, David, et al.
Published: (2024)
Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking
by: Tulcan, Radu-Florin, et al.
Published: (2026)
by: Tulcan, Radu-Florin, et al.
Published: (2026)
Consistent Update Synthesis via Privatized Beliefs
by: Schlögl, Thomas, et al.
Published: (2024)
by: Schlögl, Thomas, et al.
Published: (2024)
Shields to Guarantee Probabilistic Safety in MDPs
by: Heck, Linus, et al.
Published: (2026)
by: Heck, Linus, et al.
Published: (2026)
Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
by: Hansen, Helle Hvid, et al.
Published: (2025)
by: Hansen, Helle Hvid, et al.
Published: (2025)
KIRETT -- A wearable device to support rescue operations using artificial intelligence to improve first aid
by: Zenkert, Johannes, et al.
Published: (2025)
by: Zenkert, Johannes, et al.
Published: (2025)
Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains
by: Benjumea, Diana C., et al.
Published: (2025)
by: Benjumea, Diana C., et al.
Published: (2025)
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
by: Artale, Alessandro, et al.
Published: (2025)
by: Artale, Alessandro, et al.
Published: (2025)
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance
by: Reimann, Jesse, et al.
Published: (2024)
by: Reimann, Jesse, et al.
Published: (2024)
Data Leakage in Automotive Perception: Practitioners' Insights
by: Babu, Md Abu Ahammed, et al.
Published: (2026)
by: Babu, Md Abu Ahammed, et al.
Published: (2026)
On two consequences of CH established by Sierpinski. II
by: Pol, Roman, et al.
Published: (2024)
by: Pol, Roman, et al.
Published: (2024)
Towards an Analysis of Proofs in Arithmetic
by: Leitsch, Alexander, et al.
Published: (2025)
by: Leitsch, Alexander, et al.
Published: (2025)
Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
by: van der Giessen, Iris, et al.
Published: (2023)
by: van der Giessen, Iris, et al.
Published: (2023)
Pragmatic Formal Verification of Sequential Error Detection and Correction Codes (ECCs) used in Safety-Critical Design
by: Kumar, Aman
Published: (2024)
by: Kumar, Aman
Published: (2024)
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)
by: Lopez-Miguel, Ignacio D., et al.
Published: (2025)
Two behavioural pseudometrics for continuous-time Markov processes
by: Chen, Linan, et al.
Published: (2025)
by: Chen, Linan, et al.
Published: (2025)
A behavioural pseudometric for continuous-time Markov processes
by: Chen, Linan, et al.
Published: (2025)
by: Chen, Linan, et al.
Published: (2025)
Complexity of Safety and coSafety Fragments of Linear Temporal Logic
by: Artale, Alessandro, et al.
Published: (2022)
by: Artale, Alessandro, et al.
Published: (2022)
An Analysis of Tennenbaum's Theorem in Constructive Type Theory
by: Hermes, Marc, et al.
Published: (2023)
by: Hermes, Marc, et al.
Published: (2023)
Paraconsistent Existential Graphs Gamma Peirce System
by: Sierra-Aristizabal, Manuel
Published: (2023)
by: Sierra-Aristizabal, Manuel
Published: (2023)
Improving Image Data Leakage Detection in Automotive Software
by: Babu, Md Abu Ahammed, et al.
Published: (2024)
by: Babu, Md Abu Ahammed, et al.
Published: (2024)
Cut-free Deductive System for Continuous Intuitionistic Logic
by: Geoffroy, Guillaume
Published: (2025)
by: Geoffroy, Guillaume
Published: (2025)
Towards a Proof System for Probabilistic Dynamic Logic
by: Johnsen, Einar Broch, et al.
Published: (2024)
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)
by: de Groot, Jim, et al.
Published: (2024)
A Kunen-Like Model with a Critical Failure of the Continuum Hypothesis
by: Ben-Neria, Omer, et al.
Published: (2024)
by: Ben-Neria, Omer, et al.
Published: (2024)
A Type System for Data Flow and Alias Analysis in ReScript
by: Lund, Nicky Ask, et al.
Published: (2024)
by: Lund, Nicky Ask, et al.
Published: (2024)
$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
by: Almeida, Rodrigo Nicolau
Published: (2023)
by: Almeida, Rodrigo Nicolau
Published: (2023)
Towards solid abelian groups: A formal proof of Nöbeling's theorem
by: Asgeirsson, Dagur
Published: (2023)
by: Asgeirsson, Dagur
Published: (2023)
The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
by: Pacheco, Leonardo
Published: (2026)
by: Pacheco, Leonardo
Published: (2026)
The Proof Analysis Problem
by: Arteche, Noel, et al.
Published: (2025)
by: Arteche, Noel, et al.
Published: (2025)
Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
by: Lyon, Tim S.
Published: (2024)
by: Lyon, Tim S.
Published: (2024)
Polynomial Lawvere Logic
by: Bacci, Giorgio, et al.
Published: (2024)
by: Bacci, Giorgio, et al.
Published: (2024)
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)