Image de couverture de livre

A Lazy Abstraction Algorithm for Markov Decision Processes: Theory and Initial Evaluation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Szekeres, Dániel, Marussy, Kristóf, Majzik, István
Format:	Preprint
Publié:	2024
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

Risk-aware Markov Decision Processes Using Cumulative Prospect Theory
par: Brihaye, Thomas, et autres
Publié: (2025)

Learning Algorithms for Verification of Markov Decision Processes
par: Brázdil, Tomáš, et autres
Publié: (2024)

Formal Quality Measures for Predictors in Markov Decision Processes
par: Baier, Christel, et autres
Publié: (2024)

On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
par: Suilen, Marnix, et autres
Publié: (2026)

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes
par: Baier, Christel, et autres
Publié: (2024)

Lazy Reimplication in Chronological Backtracking
par: Coutelier, Robin, et autres
Publié: (2025)

On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions
par: Jensen, Nicolaj Ø., et autres
Publié: (2025)

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

Evidential Decision Theory via Partial Markov Categories
par: Di Lavore, Elena, et autres
Publié: (2023)

A Translation of Probabilistic Event Calculus into Markov Decision Processes
par: Xu, Lyris, et autres
Publié: (2025)

Best-Effort Policies for Robust Markov Decision Processes
par: Abate, Alessandro, et autres
Publié: (2025)

Proof Theory and Decision Procedures for Deontic STIT Logics
par: Lyon, Tim S., et autres
Publié: (2024)

Learning Robust Policies for Uncertain Parametric Markov Decision Processes
par: Rickard, Luke, et autres
Publié: (2023)

Algorithms for Markov Binomial Chains
par: Gonzalez, Alejandro Alarcón, et autres
Publié: (2024)

A Lazy, Concurrent Convertibility Checker
par: Courant, Nathanaëlle, et autres
Publié: (2025)

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
par: Mathiesen, Frederik Baymler, et autres
Publié: (2024)

Zeta Functions and the (Linear) Logic of Markov Processes
par: Seiller, Thomas
Publié: (2020)

The Modal Logic of Abstraction Refinement
par: Piribauer, Jakob, et autres
Publié: (2026)

Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
par: Heck, Linus, et autres
Publié: (2025)

A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus
par: Fang, Liangda, et autres
Publié: (2024)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
par: Gratzer, Daniel, et autres
Publié: (2024)

(Towards a) Statistical Probabilistic Lazy Lambda Calculus
par: Jagadeesan, Radha
Publié: (2024)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
par: Wißmann, Thorsten, et autres
Publié: (2024)

On the Completeness of Interpolation Algorithms
par: Hetzl, Stefan, et autres
Publié: (2024)

Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems (Full Version)
par: König, Barbara, et autres
Publié: (2025)

A Sound and Complete Substitution Algorithm for Multimode Type Theory: Technical Report
par: Ceulemans, Joris, et autres
Publié: (2024)

Regular Abstractions for Array Systems
par: Hong, Chih-Duo, et autres
Publié: (2024)

Abstractions of Sequences, Functions and Operators
par: Rustenholz, Louis, et autres
Publié: (2025)

A Naive Encoding of Russell's Paradox in Type Theory
par: Qu, Zhuoyuan
Publié: (2025)

Beyond Decisiveness of Infinite Markov Chains
par: Barbot, Benoît, et autres
Publié: (2024)

A Foundational Theory of Quantitative Abstraction: Adjunctions, Duality, and Logic for Probabilistic Systems
par: Anwer, Nivar, et autres
Publié: (2025)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
par: Indrzejczak, Andrzej, et autres
Publié: (2024)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
par: Sabelli, Pietro
Publié: (2024)

Primitive Recursive Dependent Type Theory
par: Buchholtz, Ulrik, et autres
Publié: (2024)

Fixed Point Theorems in Computability Theory
par: Terwijn, Sebastiaan A.
Publié: (2024)

Canonical Decision Diagrams Modulo Theories
par: Michelutti, Massimo, et autres
Publié: (2024)

Rings and Boolean Algebras as Algebraic Theories
par: De Faveri, Arturo
Publié: (2025)

Algorithmic Randomness in Continuous-Time Markov Chains
par: Huang, Xiang, et autres
Publié: (2019)

The Pebble-Relation Comonad in Finite Model Theory
par: Montacute, Yoàv, et autres
Publié: (2021)

Characterizing Sets of Theories That Can Be Disjointly Combined
par: Przybocki, Benjamin, et autres
Publié: (2025)