[HTML][HTML] Entropic risk for turn-based stochastic games
Entropic risk (ERisk) is an established risk measure in finance, quantifying risk by an
exponential re-weighting of rewards. We study ERisk for the first time in the context of turn …
exponential re-weighting of rewards. We study ERisk for the first time in the context of turn …
Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games
T Meggendorfer, M Weininger - International Conference on Computer …, 2024 - Springer
We present version 2.0 of the Partial Exploration Tool (Pet), a tool for verification of
probabilistic systems. We extend the previous version by adding support for stochastic …
probabilistic systems. We extend the previous version by adding support for stochastic …
Learning Algorithms for Verification of Markov Decision Processes
We present a general framework for applying learning algorithms and heuristical guidance
to the verification of Markov decision processes (MDPs), based on the ideas of Br\'azdil, T. et …
to the verification of Markov decision processes (MDPs), based on the ideas of Br\'azdil, T. et …
Tools at the Frontiers of Quantitative Verification
The analysis of formal models that include quantitative aspects such as timing or
probabilistic choices is performed by quantitative verification tools. Broad and mature tool …
probabilistic choices is performed by quantitative verification tools. Broad and mature tool …
[图书][B] Fixpoint Checks and Computations for Behavioural Metrics and Games
RO Eggert - 2023 - search.proquest.com
Lattice theory is a well studied area of mathematics and finds many applications, for
example in system verification. By Knaster-Tarksi, any monotone function f∶ L→ L on a …
example in system verification. By Knaster-Tarksi, any monotone function f∶ L→ L on a …