随机时钟下的矩形自动机中最大化可达概率
摘要：通过依赖于历史的预言调度程序，本文提出了一种算法，用于最大化具有随机时钟的矩形自动机的可达性概率。该模型类别将时间诱发的不确定性应用于离散行为和动态行为的不确定性。通过通过向前流管构造计算可达状态集，我们使用向后细化来计算最大可达性概率。所提出方法的可行性在可扩展模型上进行了说明。
作者：Joanna Delicaris, Stefan Schupp, Erika ''Abrah''am, Anne Remke
论文ID：2304.14996
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-05-05