Количественный анализ $\omega$-Regular Robust MDP
arXiv:2608.25968v1 Анонс Тип: новая Аннотация: Процессы принятия решений Робуста Маркова (RMDP) обобщают классические MDP, позволяя неопределенность в вероятностях перехода и оптимизируя их в худшем случае реализации. Мы рассматриваем $(s,a)$-прямоугольные RMDP с \emph{линейно определенными}…