:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Saxena, Ishan, Westphal, Bernd, Fränzle, Martin
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	https://arxiv.org/abs/2511.14430
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Context-aware, Ante-hoc Explanations of Driving Behaviour
von: Grundt, Dominik, et al.
Veröffentlicht: (2025)

Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion
von: Feeken, Linda, et al.
Veröffentlicht: (2024)

Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion
von: Feeken, Linda, et al.
Veröffentlicht: (2025)

On the Existence of Reactive Strategies Resilient to Delay
von: Fränzle, Martin, et al.
Veröffentlicht: (2023)

Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms
von: de Lima, Thaynara Arielly, et al.
Veröffentlicht: (2024)

A Formalization of Abstract Rewriting in Agda
von: Arkle, Sam, et al.
Veröffentlicht: (2026)

Formalizing Hyperspaces and Operations on Subsets of Polish spaces over Abstract Exact Real Numbers
von: Konečný, Michal, et al.
Veröffentlicht: (2024)

A Tutorial on Stream-based Monitoring
von: Baumeister, Jan, et al.
Veröffentlicht: (2025)

Active Monitoring with RTLola: A Specification-Guided Scheduling Approach
von: Baumeister, Jan, et al.
Veröffentlicht: (2025)

Multi-Property Temporal Logic Monitoring
von: Demir, Arınç, et al.
Veröffentlicht: (2026)

Differentially Private Runtime Monitoring
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2026)

Relevant HAL Interface Requirements for Embedded Systems
von: Bentele, Manuel, et al.
Veröffentlicht: (2025)

A Program Logic for Abstract (Hyper)Properties
von: Baldan, Paolo, et al.
Veröffentlicht: (2026)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2023)

Formal Analysis of the Sigmoid Function and Formal Proof of the Universal Approximation Theorem
von: Bryant, Dustin, et al.
Veröffentlicht: (2025)

A Rocq Formalization of Monomial and Graded Orders
von: Boldo, Sylvie, et al.
Veröffentlicht: (2025)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
von: Ospanov, Azim, et al.
Veröffentlicht: (2025)

Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees
von: Hadad, Itamar, et al.
Veröffentlicht: (2026)

Formalizing UML State Machines for Automated Verification -- A Survey
von: André, Étienne, et al.
Veröffentlicht: (2024)

Separability Properties of Monadically Dependent Graph Classes
von: Bonnet, Édouard, et al.
Veröffentlicht: (2025)

Monitoring Timed Properties (Revisited)
von: Grosen, Thomas Møller, et al.
Veröffentlicht: (2022)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
von: Gaßner, Christine
Veröffentlicht: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
von: Gaßner, Christine
Veröffentlicht: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
von: Gaßner, Christine
Veröffentlicht: (2025)

Fully Abstract Encodings of $λ$-Calculus in HOcore through Abstract Machines
von: Biernacka, Małgorzata, et al.
Veröffentlicht: (2022)

A Rocq Formalization of Simplicial Lagrange Finite Elements
von: Boldo, Sylvie, et al.
Veröffentlicht: (2026)

Formalizing Automated Market Makers in the Lean 4 Theorem Prover
von: Pusceddu, Daniele, et al.
Veröffentlicht: (2024)

Meta-Modelling in Formal Concept Analysis
von: Wang, Yingjian
Veröffentlicht: (2024)

Automated Reencoding Meets Graph Theory
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2026)

Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs
von: Kaufmann, Daniela, et al.
Veröffentlicht: (2024)

Formalizing two-level type theory with cofibrant exo-nat
von: Uskuplu, Elif
Veröffentlicht: (2023)

Properties for Paths in Graph Databases
von: Orejas, Fernando, et al.
Veröffentlicht: (2025)

The Characterization of Abstract Truth and its Factorization
von: Kent, Robert E.
Veröffentlicht: (2024)

Minimally Comparing Relational Abstract Domains
von: Ballou, Kenny, et al.
Veröffentlicht: (2023)

Formalizing equivalences without tears
von: de Jong, Tom
Veröffentlicht: (2024)

Formalization of Amicable Numbers Theory
von: Chen, Zhipeng, et al.
Veröffentlicht: (2026)

Syntax-Guided Automated Program Repair for Hyperproperties
von: Beutner, Raven, et al.
Veröffentlicht: (2024)

Universal Horn Sentences and the Joint Embedding Property
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2021)

Identifying Minimal Changes in the Zone Abstract Domain
von: Ballou, Kenny, et al.
Veröffentlicht: (2023)

MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
von: Li, Sirui, et al.
Veröffentlicht: (2025)