Zobrazeno 1 - 10
of 649
pro vyhledávání: '"Novotný Petr"'
Graph games are fundamental in strategic reasoning of multi-agent systems and their environments. We study a new family of graph games which combine stochastic environmental uncertainties and auction-based interactions among the agents, formalized as
Externí odkaz:
http://arxiv.org/abs/2412.19609
Constrained Markov decision processes (CMDPs), in which the agent optimizes expected payoffs while keeping the expected cost below a given threshold, are the leading framework for safe sequential decision making under stochastic uncertainty. Among al
Externí odkaz:
http://arxiv.org/abs/2412.13962
We consider the problems of statically refuting equivalence and similarity of output distributions defined by a pair of probabilistic programs. Equivalence and similarity are two fundamental relational properties of probabilistic programs that are es
Externí odkaz:
http://arxiv.org/abs/2404.03430
Autor:
Chatterjee, Krishnendu, Goharshady, Ehsan Kafshdar, Karrabi, Mehrdad, Novotný, Petr, Žikelić, Đorđe
Markov decision processes (MDPs) provide a standard framework for sequential decision making under uncertainty. However, MDPs do not take uncertainty in transition probabilities into account. Robust Markov decision processes (RMDPs) address this shor
Externí odkaz:
http://arxiv.org/abs/2312.13912