Copertina

Risk-aware Markov Decision Processes Using Cumulative Prospect Theory

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Brihaye, Thomas, Chatterjee, Krishnendu, Mohr, Stefanie, Weininger, Maximilian
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
di: Azeem, Muqsit, et al.
Pubblicazione: (2024)

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

Stochastic Processes with Expected Stopping Time
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2021)

Learning Algorithms for Verification of Markov Decision Processes
di: Brázdil, Tomáš, et al.
Pubblicazione: (2024)

Decisiveness for countable MDPs and insights for NPLCSs and POMDPs
di: Bertrand, Nathalie, et al.
Pubblicazione: (2020)

A Lazy Abstraction Algorithm for Markov Decision Processes: Theory and Initial Evaluation
di: Szekeres, Dániel, et al.
Pubblicazione: (2024)

Sound Value Iteration for Simple Stochastic Games
di: Azeem, Muqsit, et al.
Pubblicazione: (2024)

Formal Quality Measures for Predictors in Markov Decision Processes
di: Baier, Christel, et al.
Pubblicazione: (2024)

On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
di: Suilen, Marnix, et al.
Pubblicazione: (2026)

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
di: Budde, Carlos E., et al.
Pubblicazione: (2024)

Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
di: Grobelna, Marta, et al.
Pubblicazione: (2025)

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes
di: Baier, Christel, et al.
Pubblicazione: (2024)

Zeta Functions and the (Linear) Logic of Markov Processes
di: Seiller, Thomas
Pubblicazione: (2020)

Multiplicative Rewards in Markovian Models
di: Baier, Christel, et al.
Pubblicazione: (2025)

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

The Value Problem for Multiple-Environment MDPs with Parity Objective
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2025)

Evidential Decision Theory via Partial Markov Categories
di: Di Lavore, Elena, et al.
Pubblicazione: (2023)

Best-Effort Policies for Robust Markov Decision Processes
di: Abate, Alessandro, et al.
Pubblicazione: (2025)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
di: Akshay, S., et al.
Pubblicazione: (2024)

Proof Theory and Decision Procedures for Deontic STIT Logics
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

A Translation of Probabilistic Event Calculus into Markov Decision Processes
di: Xu, Lyris, et al.
Pubblicazione: (2025)

Learning Robust Policies for Uncertain Parametric Markov Decision Processes
di: Rickard, Luke, et al.
Pubblicazione: (2023)

Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version)
di: Budde, Carlos E., et al.
Pubblicazione: (2025)

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
di: Mathiesen, Frederik Baymler, et al.
Pubblicazione: (2024)

Cumulative-Time Signal Temporal Logic
di: Chen, Hongkai, et al.
Pubblicazione: (2025)

PolyQEnt: A Polynomial Quantified Entailment Solver
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)

Automating Boundary Filling in Cubical Type Theories
di: Doré, Maximilian, et al.
Pubblicazione: (2024)

List types for resource aware languages: an implicit name approach
di: Ghilezan, Silvia, et al.
Pubblicazione: (2021)

Risk-averse optimization of total rewards in Markovian models using deviation measures
di: Baier, Christel, et al.
Pubblicazione: (2024)

SuperDP: Differential Privacy Refutation via Supermartingales
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2026)

Dependent Multiplicities in Dependent Linear Type Theory
di: Doré, Maximilian
Pubblicazione: (2025)

Beyond Decisiveness of Infinite Markov Chains
di: Barbot, Benoît, et al.
Pubblicazione: (2024)

Rings and Boolean Algebras as Algebraic Theories
di: De Faveri, Arturo
Pubblicazione: (2025)

Canonical Decision Diagrams Modulo Theories
di: Michelutti, Massimo, et al.
Pubblicazione: (2024)

Primitive Recursive Dependent Type Theory
di: Buchholtz, Ulrik, et al.
Pubblicazione: (2024)

Fixed Point Theorems in Computability Theory
di: Terwijn, Sebastiaan A.
Pubblicazione: (2024)

Characterizing Sets of Theories That Can Be Disjointly Combined
di: Przybocki, Benjamin, et al.
Pubblicazione: (2025)

The Pebble-Relation Comonad in Finite Model Theory
di: Montacute, Yoàv, et al.
Pubblicazione: (2021)