Buchumschlag

Complete Robust Hybrid Systems Reachability

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Wafa, Noah Abou El, Platzer, André
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science 03B70 (Primary) 68N30 (Secondary) F.3.1; I.2.3; F.4.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Complete Game Logic with Sabotage
von: Wafa, Noah Abou El, et al.
Veröffentlicht: (2024)

Approximate Axiomatization for Differentially-Defined Functions
von: Platzer, André, et al.
Veröffentlicht: (2025)

Complete First-Order Game Logic
von: Wafa, Noah Abou El, et al.
Veröffentlicht: (2025)

The Significance of Symbolic Logic for Scientific Education
von: Platzer, André
Veröffentlicht: (2024)

The Solver's Paradox in Formal Problem Spaces
von: Rosko, Milan
Veröffentlicht: (2025)

Axiomatization of Compact Initial Value Problems: Open Properties
von: Platzer, André, et al.
Veröffentlicht: (2024)

A correspondence between the time and space complexity
von: Latkin, Ivan V.
Veröffentlicht: (2023)

Encoding argumentation frameworks with set attackers to propositional logic systems
von: Tang, Shuai, et al.
Veröffentlicht: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
von: Tang, Shuai
Veröffentlicht: (2025)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
von: Borzechowski, Manfred, et al.
Veröffentlicht: (2025)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
von: Walsh, Sean
Veröffentlicht: (2024)

Loops, Inverse Limits and Non-Determinism
von: Brattka, Vasco
Veröffentlicht: (2025)

A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report
von: Klaus, Natalia, et al.
Veröffentlicht: (2026)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
von: Ramos, Arthur, et al.
Veröffentlicht: (2025)

2-Coherent Internal Models of Homotopical Type Theory
von: Chen, Joshua
Veröffentlicht: (2025)

Higher-Order Pattern Unification Modulo Similarity Relations
von: Dundua, Besik, et al.
Veröffentlicht: (2025)

Deconstructed Proto-Quipper: A Rational Reconstruction
von: Kavanagh, Ryan, et al.
Veröffentlicht: (2025)

Nominal techniques as an Agda library
von: Gabbay, Murdoch J., et al.
Veröffentlicht: (2026)

Algebraic Proof Theory for Infinitary Action Logic
von: Fussner, Wesley, et al.
Veröffentlicht: (2025)

An Expressive Trace Logic for Recursive Programs
von: Gurov, Dilian, et al.
Veröffentlicht: (2024)

The Relational Machine Calculus
von: Barrett, Chris, et al.
Veröffentlicht: (2024)

Which are the True Defeasible Logics?
von: Maher, Michael J.
Veröffentlicht: (2024)

Extracting total Amb programs from proofs
von: Berger, Ulrich, et al.
Veröffentlicht: (2023)

A novel framework for systematic propositional formula simplification based on existential graphs
von: de Mas, Jordina Francès, et al.
Veröffentlicht: (2024)

Internalizing Extensions in Lattices of Type Theories
von: Chan, Jonathan
Veröffentlicht: (2025)

Bounded First-Class Universe Levels in Dependent Type Theory
von: Chan, Jonathan, et al.
Veröffentlicht: (2025)

On systematic construction of correct logic programs
von: Drabent, Włodzimierz
Veröffentlicht: (2025)

Ordinal Folding Index: A Computable Metric for Self-Referential Semantics
von: Alpay, Faruk, et al.
Veröffentlicht: (2025)

Node Replication: Theory And Practice
von: Kesner, Delia, et al.
Veröffentlicht: (2022)

Discernment is all you need
von: Fuenmayor, David
Veröffentlicht: (2026)

Oruga: An Avatar of Representational Systems Theory
von: Raggi, Daniel, et al.
Veröffentlicht: (2025)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
von: Farmer, William M.
Veröffentlicht: (2026)

A Real-Analytic Approach to Differential-Algebraic Dynamic Logic
von: Hellwig, Jonathan, et al.
Veröffentlicht: (2025)

OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs
von: Perháč, Ján, et al.
Veröffentlicht: (2025)

Serial Properties, Selector Proofs, and the Provability of Consistency
von: Artemov, Sergei
Veröffentlicht: (2024)

Non-Compact Proofs
von: Artemov, Sergei
Veröffentlicht: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
von: Artemov, Sergei
Veröffentlicht: (2025)

Proof complexity of universal algebra in a CSP dichotomy proof
von: Gaysin, Azza
Veröffentlicht: (2024)

Universal Algebra in UniMath
von: Amato, Gianluca, et al.
Veröffentlicht: (2021)

Determination of the fifth Busy Beaver value
von: The bbchallenge Collaboration, et al.
Veröffentlicht: (2025)