Image de couverture de livre

Good-for-MDP State Reduction for Stochastic LTL Planning

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Weinhuber, Christoph, De Giacomo, Giuseppe, Li, Yong, Schewe, Sven, Tang, Qiyi
Format:	Preprint
Publié:	2025
Sujets:	Formal Languages and Automata Theory Artificial Intelligence Computer Science and Game Theory F.4.3; I.2.4; I.2.8
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

DFAMiner: Mining minimal separating DFAs from labelled samples
par: Dell'Erba, Daniele, et autres
Publié: (2024)

LTL-Constrained Policy Optimization with Cycle Experience Replay
par: Shah, Ameesh, et autres
Publié: (2024)

Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games
par: Muvvala, Karan, et autres
Publié: (2024)

Computational methods for Dynamic Answer Set Programming
par: Hahn, Susana
Publié: (2025)

Active Automata Learning with Advice
par: Fica, Michał, et autres
Publié: (2025)

Reward Machines for Deep RL in Noisy and Uncertain Environments
par: Li, Andrew C., et autres
Publié: (2024)

Complex Event Recognition with Symbolic Register Transducers: Extended Technical Report
par: Alevizos, Elias, et autres
Publié: (2024)

Real-Time Model Checking for Closed-Loop Robot Reactive Planning
par: Chandler, Christopher, et autres
Publié: (2025)

Preprint: Exploring Inevitable Waypoints for Unsolvability Explanation in Hybrid Planning Problems
par: Sarwar, Mir Md Sajid, et autres
Publié: (2025)

Exploring Large Language Models for Access Control Policy Synthesis and Summarization
par: Vatsa, Adarsh, et autres
Publié: (2025)

RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement and Lookarounds
par: Varatalu, Ian Erik, et autres
Publié: (2024)

Digging for Decision Trees: A Case Study in Strategy Sampling and Learning
par: Budde, Carlos E., et autres
Publié: (2024)

Unsupervised Automata Learning via Discrete Optimization
par: Lutz, Simon, et autres
Publié: (2023)

Dynamically Reprogrammable Runtime Monitors for Bounded-time MTL
par: Hebballi, Chirantan, et autres
Publié: (2026)

Neuro-Symbolic Predictive Process Monitoring
par: Mezini, Axel, et autres
Publié: (2025)

Reach together: How populations win repeated games
par: Bertrand, Nathalie, et autres
Publié: (2025)

The Inclusion Depth of Pattern Languages: An Open Problem in Algorithmic Learning Theory
par: Luo, Wei
Publié: (2026)

Asymptotic Hausdorff and Language Similarity
par: Fisman, Dana, et autres
Publié: (2026)

Parsing Hypergraphs using Context-Free Positional Grammars
par: Costagliola, Gennaro, et autres
Publié: (2026)

Various Types of Comet Languages and their Application in External Contextual Grammars
par: Ködding, Marvin, et autres
Publié: (2024)

Planning with Probabilistic Opacity and Transparency: A Computational Model of Opaque/Transparent Observations
par: Udupa, Sumukha, et autres
Publié: (2024)

Identity Testing for Stochastic Languages
par: Agarwal, Smayan, et autres
Publié: (2025)

Parameterized Verification of Timed Networks with Clock Invariants
par: André, Étienne, et autres
Publié: (2024)

The Target Discounted-Sum Problem
par: Boker, Udi, et autres
Publié: (2025)

Algebraic Language Theory with Effects
par: Lenke, Fabian, et autres
Publié: (2024)

Commuting upper triangular binary morphisms
par: Honkala, Juha
Publié: (2023)

Active Learning Techniques for Pomset Recognizers
par: Pommellet, Adrien, et autres
Publié: (2025)

Minimal History-Deterministic Co-Buchi Automata: Congruences and Passive Learning
par: Löding, Christof, et autres
Publié: (2025)

A Robust Measure on FDFAs Following Duo-Normalized Acceptance
par: Fisman, Dana, et autres
Publié: (2023)

Store Languages of Turing Machines and Counter Machines
par: Friesen, Noah, et autres
Publié: (2025)

Active Learning of Upward-Closed Sets of Words
par: Aristote, Quentin
Publié: (2025)

Deciding DFA-Primality is NP-Hard
par: Spenner, Daniel Alexander
Publié: (2026)

Verifying Unboundedness via Amalgamation
par: Anand, Ashwani, et autres
Publié: (2024)

Omega-Regular Robustness
par: Fisman, Dana, et autres
Publié: (2025)

Runtime Consultants
par: Fisman, Dana, et autres
Publié: (2025)

Learning Realtime One-Counter Automata
par: Bruyère, Véronique, et autres
Publié: (2021)

On History-Deterministic One-Counter Nets
par: Prakash, Keya, et autres
Publié: (2022)

Monads, Comonads, and Transducers
par: Stefański, Rafał
Publié: (2024)

Automata with Timers
par: Bruyère, Véronique, et autres
Publié: (2023)

How to Demonstrate Metalinearness and Regularity by Tree-Restricted General Grammars
par: Havel, Martin, et autres
Publié: (2024)