:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Sung, Miara
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2603.06012
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Complete $ω$-Regular Supermartingale Certificates
by: Abate, Alessandro, et al.
Published: (2026)

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

Fixed Point Certificates for Reachability and Expected Rewards in MDPs
by: Chatterjee, Krishnendu, et al.
Published: (2025)

The subTuring degrees
by: Kihara, Takayuki, et al.
Published: (2024)

Fixed Point Theorems in Computability Theory
by: Terwijn, Sebastiaan A.
Published: (2024)

Fagin's Theorem for Semiring Turing Machines
by: Badia, Guillermo, et al.
Published: (2025)

Incompleteness theorems via Turing category
by: Savelyev, Yasha
Published: (2024)

Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification
by: Kura, Satoshi, et al.
Published: (2025)

Did Turing prove the undecidability of the halting problem?
by: Hamkins, Joel David, et al.
Published: (2024)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
by: Lyon, Tim S.
Published: (2024)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
by: Lichter, Moritz
Published: (2022)

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
by: Nechesov, Andrey
Published: (2024)

Stochastic Process Turing Machines
by: Wolpert, David, et al.
Published: (2024)

$ω$-Regular Energy Problems
by: Dziadek, Sven, et al.
Published: (2022)

Strong Nominal Semantics for Fixed-Point Constraints
by: Caires-Santos, Ali K., et al.
Published: (2024)

Inapproximability of Unique Games in Fixed-Point Logic with Counting
by: Tucker-Foltz, Jamie
Published: (2021)

A Hierarchy of Supermartingales for $ω$-Regular Verification
by: Kura, Satoshi, et al.
Published: (2025)

Multi-clocked Guarded Recursion Beyond ω
by: Møgelberg, Rasmus Ejlers
Published: (2025)

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
by: Kabir, Mohimenul, et al.
Published: (2025)

Computational Paths Form a Weak ω-Groupoid
by: Ramos, Arthur F., et al.
Published: (2025)

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)
by: Batz, Kevin, et al.
Published: (2024)

Games with $ω$-Automatic Preference Relations
by: Bruyère, Véronique, et al.
Published: (2025)

Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
by: Phalakarn, Kittiphon, et al.
Published: (2025)

An algebraic theory of ω-regular languages, via μν-expressions
by: Das, Anupam, et al.
Published: (2025)

Extending Action Logic with Omega Iteration
by: Pshenitsyn, Tikhon
Published: (2025)

Invertible cells in $ω$-categories
by: Benjamin, Thibaut, et al.
Published: (2024)

Semantics for a Turing-complete Reversible Programming Language with Inductive Types
by: Chardonnet, Kostia, et al.
Published: (2023)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
by: Asor, Ohad
Published: (2026)

Derivation and Verification of Array Sorting by Merging, and its Certification in Dafny
by: Carbonell, Juan Pablo, et al.
Published: (2025)

Proceedings Twelfth Workshop on Fixed Points in Computer Science
by: Saurin, Alexis
Published: (2025)

A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs
by: Kohlen, Bram, et al.
Published: (2025)

Partial Quantifier Elimination By Certificate Clauses
by: Goldberg, Eugene
Published: (2020)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
by: Gratzer, Daniel, et al.
Published: (2024)

Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations
by: Blanc, Manon, et al.
Published: (2023)

Satisfiability Modulo Theories for Verifying MILP Certificates
by: Wood, Kenan, et al.
Published: (2023)

Visualizing Game-Based Certificates for Hyperproperty Verification
by: Beutner, Raven, et al.
Published: (2025)

Closure Certificates
by: Murali, Vishnu, et al.
Published: (2023)

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

Towards Uniform Certification in QBF
by: Chew, Leroy, et al.
Published: (2022)

On proving consistency of equational theories in Bounded Arithmetic
by: Beckmann, Arnold, et al.
Published: (2022)