Reachability Problems - 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings
Reachability Problems - 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings
复制标题
可达性问题 - 第 16 届国际会议，RP 2022，德国凯泽斯劳滕，2022 年 10 月 17-21 日，会议记录
DOI：
10.1007/978-3-031-19135-0_5
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Bose S
中科院分区：
文献类型：
--
作者：
Bose S
一个自动机是历史确定的（HD），如果一个人可以安全地解决其非确定性的选择在飞行中。在最近的一篇论文中，Henzinger、Lehtinen和Totzke在时间自动机的背景下研究了这一点，其中推测HD时间自动机识别的时间语言类严格扩展了确定性语言类。我们为这一事实提供了证据。
An automaton is history-deterministic (HD) if one can safely resolve its non-deterministic choices on the fly. In a recent paper, Henzinger, Lehtinen and Totzke studied this in the context of Timed Automata , where it was conjectured that the class of timed-languages recognised by HD-timed automata strictly extends that of deterministic ones. We provide a proof for this fact.