:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Dziadek, Sven, Fahrenberg, Uli, Schlehuber-Caissier, Philipp
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Logic in Computer Science
Online-Zugang:	https://arxiv.org/abs/2205.04392
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Petri Nets and Higher-Dimensional Automata
von: Amrane, Amazigh, et al.
Veröffentlicht: (2025)

Higher-Dimensional Timed Automata for Real-Time Concurrency
von: Amrane, Amazigh, et al.
Veröffentlicht: (2024)

The Temporal Logic Synthesis Format TLSF v1.2
von: Jacobs, Swen, et al.
Veröffentlicht: (2023)

Bisimulations and Logics for Higher-Dimensional Automata
von: Zouari, Safa, et al.
Veröffentlicht: (2024)

Logic and Languages of Higher-Dimensional Automata
von: Amrane, Amazigh, et al.
Veröffentlicht: (2024)

Variants of Higher-Dimensional Automata
von: Bazille, Hugo, et al.
Veröffentlicht: (2026)

Complete $ω$-Regular Supermartingale Certificates
von: Abate, Alessandro, et al.
Veröffentlicht: (2026)

A Hierarchy of Supermartingales for $ω$-Regular Verification
von: Kura, Satoshi, et al.
Veröffentlicht: (2025)

Follow the STARs: Dynamic $ω$-Regular Shielding of Learned Policies
von: Anand, Ashwani, et al.
Veröffentlicht: (2025)

A Cobham theorem for scalar multiplication
von: Hieronymi, Philipp, et al.
Veröffentlicht: (2024)

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
von: Jacobs, Swen, et al.
Veröffentlicht: (2022)

Multi-clocked Guarded Recursion Beyond ω
von: Møgelberg, Rasmus Ejlers
Veröffentlicht: (2025)

Large Language Model for OWL Proofs
von: Yang, Hui, et al.
Veröffentlicht: (2026)

Computational Paths Form a Weak ω-Groupoid
von: Ramos, Arthur F., et al.
Veröffentlicht: (2025)

Games with $ω$-Automatic Preference Relations
von: Bruyère, Véronique, et al.
Veröffentlicht: (2025)

An algebraic theory of ω-regular languages, via μν-expressions
von: Das, Anupam, et al.
Veröffentlicht: (2025)

Invertible cells in $ω$-categories
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2024)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
von: Asor, Ohad
Veröffentlicht: (2026)

Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes
von: Baier, Christel, et al.
Veröffentlicht: (2025)

The Power of Regular Constraint Propagation (Technical Report)
von: Hague, Matthew, et al.
Veröffentlicht: (2025)

Kofola 1.0: A Modular Approach to ω-Regular Complementation and Inclusion Checking (Technical Report)
von: Alexaj, Ondrej, et al.
Veröffentlicht: (2026)

The Precise Complexity of Reasoning in $\mathcal{ALC}$ with $ω$-Admissible Concrete Domains (Extended Version)
von: Borgwardt, Stefan, et al.
Veröffentlicht: (2024)

The Discontinuity Problem
von: Brattka, Vasco
Veröffentlicht: (2020)

The Polynomial Hierarchy and $ω$-categorical CSPs
von: Pro, Santiago Guzmán, et al.
Veröffentlicht: (2026)

A type theory for invertibility in weak $ω$-categories
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2026)

Symbolic ω-automata with obligations
von: Di Stefano, Luca
Veröffentlicht: (2025)

Globular weak $ω$-categories as models of a type theory
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2021)

Diagonalizing Through the $ω$-Chain: Iterated Self-Certification on Bounded Turing Machines and its Least Fixed Point
von: Sung, Miara
Veröffentlicht: (2026)

The Proof Analysis Problem
von: Arteche, Noel, et al.
Veröffentlicht: (2025)

Problems and Consequences of Bilateral Notions of (Meta-)Derivability
von: Ayhan, Sara
Veröffentlicht: (2025)

Characterizing the Polynomial-Time Minimizable $ω$-Automata
von: Radi, Bader Abu, et al.
Veröffentlicht: (2025)

Regular Typed Unification
von: Barbosa, João, et al.
Veröffentlicht: (2024)

An Encoding for CLP Problems in SMT-LIB
von: Amrollahi, Daneshvar, et al.
Veröffentlicht: (2024)

Regular Games with Imperfect Information Are Not That Regular
von: Doyen, Laurent, et al.
Veröffentlicht: (2024)

$Π_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem
von: Zhuk, Dmitriy
Veröffentlicht: (2024)

Galois Energy Games: To Solve All Kinds of Quantitative Reachability Problems
von: Lemke, Caroline, et al.
Veröffentlicht: (2025)

Regular expressions over countable words
von: Colcombet, Thomas, et al.
Veröffentlicht: (2025)

On the Computability of Measures of Regular Sets of Infinite Trees
von: Niwiński, Damian, et al.
Veröffentlicht: (2023)

On the Computational Content of Moduli of Regularity and their Logical Strength
von: Kohlenbach, Ulrich
Veröffentlicht: (2026)

Aczel-Mendler Bisimulations in a Regular Category
von: Dubut, Jeremy
Veröffentlicht: (2023)