We utilize Interval Markov Decision Processes (IMDP), also called Bounded MDPs [1]},
to abstract Process (REF ). IMDPs are a generalized class of MDPs
that allows for a range of transition probabilities between states.

Мы используем интервальные марковские процессы принятия решений (ИМПР), также называемые ограниченными МПР [1], для абстракции Процесса (ССЫЛКА). ИМПР представляют собой обобщенный класс МПР, который позволяет использовать диапазон вероятностей перехода между состояниями.