:: Library Catalog

Cover Image

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:	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)

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)

Reconstruction-Based Adaptive Scheduling Using AI Inferences in Safety-Critical Systems
by: Alshaer, Samer, 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)

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)

Shields to Guarantee Probabilistic Safety in MDPs
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)

KIRETT -- A wearable device to support rescue operations using artificial intelligence to improve first aid
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)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
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)

Data Leakage in Automotive Perception: Practitioners' Insights
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)

Towards an Analysis of Proofs in Arithmetic
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)

Pragmatic Formal Verification of Sequential Error Detection and Correction Codes (ECCs) used in Safety-Critical Design
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)

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)

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

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

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

Improving Image Data Leakage Detection in Automotive Software
by: Babu, Md Abu Ahammed, et al.
Published: (2024)

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)

A Kunen-Like Model with a Critical Failure of the Continuum Hypothesis
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)

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

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

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

The Proof Analysis Problem
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)

Polynomial Lawvere Logic
by: Bacci, Giorgio, et al.
Published: (2024)