Buchumschlag

Systemic Constraints of Undecidability

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Bulin, Seth
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science Artificial Intelligence Formal Languages and Automata Theory Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Language Equivalence is Undecidable in VASS with Restricted Nondeterminism
von: Czerwiński, Wojciech, et al.
Veröffentlicht: (2025)

$O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof
von: Caminati, Marco B.
Veröffentlicht: (2024)

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems
von: Roy, Rajarshi, et al.
Veröffentlicht: (2025)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
von: Barloy, Corentin, et al.
Veröffentlicht: (2025)

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

Cyclic system for an algebraic theory of alternating parity automata
von: Das, Anupam, et al.
Veröffentlicht: (2025)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
von: Rooduijn, Jan, et al.
Veröffentlicht: (2024)

A proof theory of right-linear (omega-)grammars via cyclic proofs
von: Das, Anupam, et al.
Veröffentlicht: (2024)

Positive First-order Logic on Words and Graphs
von: Kuperberg, Denis
Veröffentlicht: (2022)

Function spaces for orbit-finite sets
von: Bojańczyk, Mikołaj, et al.
Veröffentlicht: (2024)

An efficient quantifier elimination procedure for Presburger arithmetic
von: Haase, Christoph, et al.
Veröffentlicht: (2024)

Enforcing Temporal Constraints for LLM Agents
von: Kamath, Adharsh, et al.
Veröffentlicht: (2025)

Unknown Biases and Timing Constraints in Timed Automata
von: Haase, Darion, et al.
Veröffentlicht: (2024)

What is Formal Verification without Specifications? A Survey on mining LTL Specifications
von: Neider, Daniel, et al.
Veröffentlicht: (2025)

Subtyping in DHOL -- Extended preprint
von: Rothgang, Colin, et al.
Veröffentlicht: (2025)

Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
von: Hausmann, Daniel, et al.
Veröffentlicht: (2025)

LTL$_f$ Learning Meets Boolean Set Cover
von: Bathie, Gabriel, et al.
Veröffentlicht: (2025)

About Time: Model-free Reinforcement Learning with Timed Reward Machines
von: Roy, Rajarshi, et al.
Veröffentlicht: (2025)

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
von: Aminof, Benjamin, et al.
Veröffentlicht: (2024)

Temporal Ensemble Logic
von: Zhang, Guo-Qiang
Veröffentlicht: (2024)

Synthesizing POMDP Policies: Sampling Meets Model-checking via Learning
von: Chakraborty, Debraj, et al.
Veröffentlicht: (2026)

Non-Deterministic Planning for Hyperproperty Verification
von: Beutner, Raven, et al.
Veröffentlicht: (2024)

SemML 2.0: Synthesizing Controllers for LTL
von: Křetínský, Jan, et al.
Veröffentlicht: (2026)

A Formal Framework for the Explanation of Finite Automata Decisions
von: Granada, Jaime Cuartas, et al.
Veröffentlicht: (2026)

A process algebraic framework for multi-agent dynamic epistemic systems
von: Aldini, Alessandro
Veröffentlicht: (2024)

The Transformation Logics
von: Ronca, Alessandro
Veröffentlicht: (2023)

Verification of Neural Networks (Lecture Notes)
von: Bollig, Benedikt
Veröffentlicht: (2026)

Symbolic Synthesis for LTLf+ Obligations
von: De Giacomo, Giuseppe, et al.
Veröffentlicht: (2026)

A Uniform Framework for Handling Position Constraints in String Solving (Technical Report)
von: Chen, Yu-Fang, et al.
Veröffentlicht: (2025)

Unreliability in Practical Subclasses of Communicating Systems
von: Suresh, Amrita, et al.
Veröffentlicht: (2025)

General Decidability Results for Systems with Continuous Counters
von: Balasubramanian, A. R., et al.
Veröffentlicht: (2025)

Improving Reachability in Vector Addition Systems through Pumpability
von: Chen, Weijun, et al.
Veröffentlicht: (2026)

A Session Type System for Asynchronous Unreliable Broadcast Communication
von: Kouzapas, Dimitrios, et al.
Veröffentlicht: (2019)

The Tractability Border of Reachability in Simple Vector Addition Systems with States
von: Chistikov, Dmitry, et al.
Veröffentlicht: (2024)

Reachability in Vector Addition System with States Parameterized by Geometric Dimension
von: Zheng, Yangluo
Veröffentlicht: (2024)

Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable
von: Czerwiński, Wojciech, et al.
Veröffentlicht: (2022)

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory
von: Aceto, Luca, et al.
Veröffentlicht: (2025)

On-the-fly Unfolding with Optimal Exploration for Linear Temporal Logic Model Checking of Concurrent Software and Systems
von: Li, Shuo, et al.
Veröffentlicht: (2023)

Uncertainty Removal in Verification of Nonlinear Systems against Signal Temporal Logic via Incremental Reachability Analysis
von: Besset, Antoine, et al.
Veröffentlicht: (2025)

Towards Autoformalization of LLM-generated Outputs for Requirement Verification
von: Gupte, Mihir, et al.
Veröffentlicht: (2025)