Zobrazeno 1 - 10
of 39
pro vyhledávání: '"PIRIBAUER, JAKOB"'
In adaptive systems, predictors are used to anticipate changes in the systems state or behavior that may require system adaption, e.g., changing its configuration or adjusting resource allocation. Therefore, the quality of predictors is crucial for t
Externí odkaz:
http://arxiv.org/abs/2412.11754
By combining two of the central paradigms of causality, namely counterfactual reasoning and probability-raising,we introduce a probabilistic notion of cause in Markov chains. Such a cause consists of finite executions of the probabilistic system afte
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A89234
https://tud.qucosa.de/api/qucosa%3A89234/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A89234/attachment/ATT-0/
This paper studies various notions of approximate probabilistic bisimulation on labeled Markov chains (LMCs). We introduce approximate versions of weak and branching bisimulation, as well as a notion of $\varepsilon$-perturbed bisimulation that relat
Externí odkaz:
http://arxiv.org/abs/2407.07584
This paper addresses objectives tailored to the risk-averse optimization of accumulated rewards in Markov decision processes (MDPs). The studied objectives require maximizing the expected value of the accumulated rewards minus a penalty factor times
Externí odkaz:
http://arxiv.org/abs/2407.06887
Autor:
Piribauer, Jakob
This paper studies the influence of probabilism and non-determinism on some quantitative aspect X of the execution of a system modeled as a Markov decision process (MDP). To this end, the novel notion of demonic variance is introduced: For a random v
Externí odkaz:
http://arxiv.org/abs/2406.18727
Autor:
Aghamov, Rajab, Baier, Christel, Karimov, Toghrul, Nieuwveld, Joris, Ouaknine, Joël, Piribauer, Jakob, Vahanwala, Mihir
The conventional perspective on Markov chains considers decision problems concerning the probabilities of temporal properties being satisfied by traces of visited states. However, consider the following query made of a stochastic system modelling the
Externí odkaz:
http://arxiv.org/abs/2406.15087
In discrete-time linear dynamical systems (LDSs), a linear map is repeatedly applied to an initial vector yielding a sequence of vectors called the orbit of the system. A weight function assigning weights to the points in the orbit can be used to mod
Externí odkaz:
http://arxiv.org/abs/2405.06512
Autor:
Baier, Christel, Bossche, Roxane van den, Klüppelholz, Sascha, Lehmann, Johannes, Piribauer, Jakob
To improve reliability and the understanding of AI systems, there is increasing interest in the use of formal methods, e.g. model checking. Model checking tools produce a counterexample when a model does not satisfy a property. Understanding these co
Externí odkaz:
http://arxiv.org/abs/2402.01539
Publikováno v:
EPTCS 390, 2023, pp. 132-149
Investigations of causality in operational systems aim at providing human-understandable explanations of why a system behaves as it does. There is, in particular, a demand to explain what went wrong on a given counterexample execution that shows that
Externí odkaz:
http://arxiv.org/abs/2310.01001
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-based stochastic games with the total reward objective. This gives r
Externí odkaz:
http://arxiv.org/abs/2307.06611