Buchumschlag

Computing the Reachability Value of Posterior-Deterministic POMDPs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Fijalkow, Nathanaël, Ghosh, Arka, Kniazev, Roman, Pérez, Guillermo A., Vandenhove, Pierre
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence Formal Languages and Automata Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
von: Raha, Ritam, et al.
Veröffentlicht: (2021)

BEAVER: An Efficient Deterministic LLM Verifier
von: Suresh, Tarun, et al.
Veröffentlicht: (2025)

Inference of Deterministic Finite Automata via Q-Learning
von: Hosseinkhani, Elaheh, et al.
Veröffentlicht: (2025)

Congruence-based Learning of Probabilistic Deterministic Finite Automata
von: Carrasco, Matías, et al.
Veröffentlicht: (2024)

Playing Safe, Ten Years Later
von: Colcombet, Thomas, et al.
Veröffentlicht: (2022)

Finding path and cycle counting formulae in graphs with Deep Reinforcement Learning
von: Piquenot, Jason, et al.
Veröffentlicht: (2024)

Half-Positional Objectives Recognized by Deterministic Büchi Automata
von: Bouyer, Patricia, et al.
Veröffentlicht: (2022)

Reachability in Trace-Pushdown Systems
von: Köcher, Chris, et al.
Veröffentlicht: (2025)

Reachability in VASS Extended with Integer Counters
von: Bizière, Clotilde, et al.
Veröffentlicht: (2026)

On the Separability Problem of VASS Reachability Languages
von: Keskin, Eren, et al.
Veröffentlicht: (2024)

Box-Reachability in Vector Addition Systems
von: Almagor, Shaull, et al.
Veröffentlicht: (2025)

Completely Reachable Almost Group Automata
von: Torres, David Fernando Casas
Veröffentlicht: (2024)

On the Minimisation of Deterministic and History-Deterministic Generalised (co)Büchi Automata
von: Casares, Antonio, et al.
Veröffentlicht: (2024)

When is a Bottom-Up Deterministic Tree Translation Top-Down Deterministic?
von: Maneth, Sebastian, et al.
Veröffentlicht: (2025)

Neural Networks as Universal Finite-State Machines: A Constructive Deterministic Finite Automaton Theory
von: Dhayalkar, Sahil Rajesh
Veröffentlicht: (2025)

Efficient Construction of Reachability Graphs for Petri Net Product Lines
von: Gómez-Martínez, Elena, et al.
Veröffentlicht: (2026)

Reachability in One-Dimensional Pushdown Vector Addition Systems is Decidable
von: Bizière, Clotilde, et al.
Veröffentlicht: (2024)

On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version)
von: Dahlsen-Jensen, Mikael Bisgaard, et al.
Veröffentlicht: (2024)

Logic-Gated Time-Shared Feedforward Networks for Alternating Finite Automata: Exact Simulation and Learnability
von: Dhayalkar, Sahil Rajesh
Veröffentlicht: (2026)

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification
von: Yao, Zhen, et al.
Veröffentlicht: (2025)

Stochastic Directly-Follows Process Discovery Using Grammatical Inference
von: Alkhammash, Hanan, et al.
Veröffentlicht: (2023)

HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs
von: Ospanov, Azim, et al.
Veröffentlicht: (2025)

LLMs as Probabilistic Minimally Adequate Teachers for DFA Learning
von: Chen, Lekai, et al.
Veröffentlicht: (2024)

Large Language Models and the Extended Church-Turing Thesis
von: Wiedermann, Jiří, et al.
Veröffentlicht: (2024)

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts
von: Wang, Ruida, et al.
Veröffentlicht: (2024)

Mechanics of Learned Reasoning 1: TempoBench, A Benchmark for Interpretable Deconstruction of Reasoning System Performance
von: Holzer, Nikolaus, et al.
Veröffentlicht: (2025)

RegexPSPACE: A Benchmark for Evaluating LLM Reasoning on PSPACE-complete Regex Problems
von: Jin, Hyundong, et al.
Veröffentlicht: (2025)

Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception
von: Yang, Yunhao, et al.
Veröffentlicht: (2023)

Foundation Models for Logistics: Toward Certifiable, Conversational Planning Interfaces
von: Yang, Yunhao, et al.
Veröffentlicht: (2025)

Are Agents Probabilistic Automata? A Trace-Based, Memory-Constrained Theory of Agentic AI
von: Koohestani, Roham, et al.
Veröffentlicht: (2025)

On Synthesis of Timed Regular Expressions
von: Wang, Ziran, et al.
Veröffentlicht: (2025)

In System Alignments we Trust! Explainable Alignments via Projections
von: Sommers, Dominique, et al.
Veröffentlicht: (2025)

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

Beyond Memorization: Testing LLM Reasoning on Unseen Theory of Computation Tasks
von: Shelat, Shlok, et al.
Veröffentlicht: (2026)

History-Deterministic Büchi Automata are Succinct
von: Casares, Antonio, et al.
Veröffentlicht: (2026)

Hyper-Minimization for Deterministic Register Automata
von: Li, Yong, et al.
Veröffentlicht: (2026)

Deterministic Parikh automata on infinite words
von: Grobler, Mario, et al.
Veröffentlicht: (2024)

Inform: From Compartmental Models to Stochastic Bounded Counter Machines
von: Leys, Tim, et al.
Veröffentlicht: (2024)

Learning Deterministic Multi-Clock Timed Automata
von: Teng, Yu, et al.
Veröffentlicht: (2024)