Copertina

Risk-averse optimization of total rewards in Markovian models using deviation measures

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Baier, Christel, Piribauer, Jakob, Starke, Maximilian
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Positivity-hardness results on Markov decision processes
di: Piribauer, Jakob, et al.
Pubblicazione: (2023)

Foundations of probability-raising causality in Markov decision processes
di: Baier, Christel, et al.
Pubblicazione: (2022)

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

A Spectrum of Approximate Probabilistic Bisimulations
di: Spork, Timm, et al.
Pubblicazione: (2024)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
di: Spork, Timm, et al.
Pubblicazione: (2025)

Model Checking Markov Chains as Distribution Transformers
di: Aghamov, Rajab, et al.
Pubblicazione: (2024)

Model Checking Linear Temporal Logic with Standpoint Modalities
di: Aghamov, Rajab, et al.
Pubblicazione: (2025)

Demonic variance and a non-determinism score for Markov decision processes
di: Piribauer, Jakob
Pubblicazione: (2024)

The Modal Logic of Abstraction Refinement
di: Piribauer, Jakob, et al.
Pubblicazione: (2026)

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

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

Symmetric Linear Arc Monadic Datalog and Gadget Reductions
di: Bodirsky, Manuel, et al.
Pubblicazione: (2024)

Impact and Performance of Randomized Test-Generation using Prolog
di: Gelderie, Marcus, et al.
Pubblicazione: (2025)

Realizing the totally unordered structure of ordinals
di: Fontanella, Laura, et al.
Pubblicazione: (2025)

Specifying an Obligation Taxonomy in the Non-Markovian Situation Calculus
di: Kalala, Kalonji, et al.
Pubblicazione: (2025)

Risk-aware Markov Decision Processes Using Cumulative Prospect Theory
di: Brihaye, Thomas, et al.
Pubblicazione: (2025)

Completions of Kleene's second model
di: Terwijn, Sebastiaan A.
Pubblicazione: (2023)

Constructive higher sheaf models with applications to synthetic mathematics
di: Coquand, Thierry, et al.
Pubblicazione: (2026)

A concrete model for a typed linear algebraic lambda calculus
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2018)

Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation
di: Dengler, Gabriel, et al.
Pubblicazione: (2024)

SAT-Based Subsumption Resolution
di: Coutelier, Robin, et al.
Pubblicazione: (2024)

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

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
di: Ma, Zhifeng, et al.
Pubblicazione: (2024)

SAT Solving for Variants of First-Order Subsumption
di: Coutelier, Robin, et al.
Pubblicazione: (2024)

PolySAT: Word-level Bit-vector Reasoning in Z3
di: Rath, Jakob, et al.
Pubblicazione: (2024)

Sequent Calculi for Data-Aware Modal Logics
di: Areces, Carlos, et al.
Pubblicazione: (2025)

The equivariant model structure on cartesian cubical sets
di: Awodey, Steve, et al.
Pubblicazione: (2024)

A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs
di: Kohlen, Bram, et al.
Pubblicazione: (2025)

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

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

An optimized KE-tableau-based system for reasoning in the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
di: Cantone, Domenico, et al.
Pubblicazione: (2018)

Demystifying $μ$
di: Afshari, Bahareh, et al.
Pubblicazione: (2024)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
di: Afshari, Bahareh, et al.
Pubblicazione: (2024)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
di: Herbelin, Hugo
Pubblicazione: (2024)

The strength of the dominance rule
di: Kołodziejczyk, Leszek Aleksander, et al.
Pubblicazione: (2024)

Dynamic Probability Logic: Decidability & Computability
di: Chopoghloo, Somayeh, et al.
Pubblicazione: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

Decidability of Quasi-Dense Modal Logics
di: Ostropolski-Nalewaja, Piotr, et al.
Pubblicazione: (2024)

The subTuring degrees
di: Kihara, Takayuki, et al.
Pubblicazione: (2024)