Image de couverture de livre

$ω$-Regular Energy Problems

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Dziadek, Sven, Fahrenberg, Uli, Schlehuber-Caissier, Philipp
Format:	Preprint
Publié:	2022
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Petri Nets and Higher-Dimensional Automata
par: Amrane, Amazigh, et autres
Publié: (2025)

Higher-Dimensional Timed Automata for Real-Time Concurrency
par: Amrane, Amazigh, et autres
Publié: (2024)

The Temporal Logic Synthesis Format TLSF v1.2
par: Jacobs, Swen, et autres
Publié: (2023)

Bisimulations and Logics for Higher-Dimensional Automata
par: Zouari, Safa, et autres
Publié: (2024)

Logic and Languages of Higher-Dimensional Automata
par: Amrane, Amazigh, et autres
Publié: (2024)

Variants of Higher-Dimensional Automata
par: Bazille, Hugo, et autres
Publié: (2026)

Complete $ω$-Regular Supermartingale Certificates
par: Abate, Alessandro, et autres
Publié: (2026)

A Hierarchy of Supermartingales for $ω$-Regular Verification
par: Kura, Satoshi, et autres
Publié: (2025)

Follow the STARs: Dynamic $ω$-Regular Shielding of Learned Policies
par: Anand, Ashwani, et autres
Publié: (2025)

A Cobham theorem for scalar multiplication
par: Hieronymi, Philipp, et autres
Publié: (2024)

Multi-clocked Guarded Recursion Beyond ω
par: Møgelberg, Rasmus Ejlers
Publié: (2025)

Computational Paths Form a Weak ω-Groupoid
par: Ramos, Arthur F., et autres
Publié: (2025)

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
par: Jacobs, Swen, et autres
Publié: (2022)

Games with $ω$-Automatic Preference Relations
par: Bruyère, Véronique, et autres
Publié: (2025)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
par: Asor, Ohad
Publié: (2026)

Invertible cells in $ω$-categories
par: Benjamin, Thibaut, et autres
Publié: (2024)

Large Language Model for OWL Proofs
par: Yang, Hui, et autres
Publié: (2026)

An algebraic theory of ω-regular languages, via μν-expressions
par: Das, Anupam, et autres
Publié: (2025)

Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes
par: Baier, Christel, et autres
Publié: (2025)

The Power of Regular Constraint Propagation (Technical Report)
par: Hague, Matthew, et autres
Publié: (2025)

The Precise Complexity of Reasoning in $\mathcal{ALC}$ with $ω$-Admissible Concrete Domains (Extended Version)
par: Borgwardt, Stefan, et autres
Publié: (2024)

The Discontinuity Problem
par: Brattka, Vasco
Publié: (2020)

Kofola 1.0: A Modular Approach to ω-Regular Complementation and Inclusion Checking (Technical Report)
par: Alexaj, Ondrej, et autres
Publié: (2026)

Diagonalizing Through the $ω$-Chain: Iterated Self-Certification on Bounded Turing Machines and its Least Fixed Point
par: Sung, Miara
Publié: (2026)

A type theory for invertibility in weak $ω$-categories
par: Benjamin, Thibaut, et autres
Publié: (2026)

Problems and Consequences of Bilateral Notions of (Meta-)Derivability
par: Ayhan, Sara
Publié: (2025)

The Polynomial Hierarchy and $ω$-categorical CSPs
par: Pro, Santiago Guzmán, et autres
Publié: (2026)

The Proof Analysis Problem
par: Arteche, Noel, et autres
Publié: (2025)

Globular weak $ω$-categories as models of a type theory
par: Benjamin, Thibaut, et autres
Publié: (2021)

Symbolic ω-automata with obligations
par: Di Stefano, Luca
Publié: (2025)

Regular Typed Unification
par: Barbosa, João, et autres
Publié: (2024)

An Encoding for CLP Problems in SMT-LIB
par: Amrollahi, Daneshvar, et autres
Publié: (2024)

Regular expressions over countable words
par: Colcombet, Thomas, et autres
Publié: (2025)

$Π_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem
par: Zhuk, Dmitriy
Publié: (2024)

Galois Energy Games: To Solve All Kinds of Quantitative Reachability Problems
par: Lemke, Caroline, et autres
Publié: (2025)

Regular Games with Imperfect Information Are Not That Regular
par: Doyen, Laurent, et autres
Publié: (2024)

Characterizing the Polynomial-Time Minimizable $ω$-Automata
par: Radi, Bader Abu, et autres
Publié: (2025)

On the Computability of Measures of Regular Sets of Infinite Trees
par: Niwiński, Damian, et autres
Publié: (2023)

On the Computational Content of Moduli of Regularity and their Logical Strength
par: Kohlenbach, Ulrich
Publié: (2026)

Aczel-Mendler Bisimulations in a Regular Category
par: Dubut, Jeremy
Publié: (2023)