时间自动机中可达性关系的有效可定义性
形式语言与自动机理论
2019-03-26 v1
摘要
我们为 Comon 和 Jurski 的结果给出了一个新的证明，即时间自动机的二元可达性关系在线性算术中是可定义的。
引用
@article{arxiv.1903.09773,
title = {Effective Definability of the Reachability Relation in Timed Automata},
author = {Martin Fränzle and Karin Quaas and Mahsa Shirmohammadi and James Worrell},
journal= {arXiv preprint arXiv:1903.09773},
year = {2019}
}