The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)
The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)
复制标题
Max-Plus 自动机的 Big-O 问题是可判定的（PSPACE-Complete）
DOI：
10.1109/lics56636.2023.10175798
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Daviaud L
中科院分区：
文献类型：
--
作者：
Daviaud L
登录
查看更多内容
DOI：
10.1007/b102065
发表时间：
2004
期刊：
--
影响因子：
--
作者：
Dang Van Hung;Mizuhito Ogawa
通讯作者：
Dang Van Hung;Mizuhito Ogawa
无限单词的因式分解森林
DOI：
10.1007/978-3-540-74240-1_20
发表时间：
2007
期刊：
Inf. Comput.
影响因子：
--
作者：
Thomas Colcombet
通讯作者：
Thomas Colcombet
确定概率密封自动机的值 1 问题
DOI：
--
发表时间：
2011
期刊：
2012 27th Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
Nathanaël Fijalkow;H. Gimbert;Edon Kelmendi;Y. Oualhadj
通讯作者：
Y. Oualhadj
概率自动机什么时候可以判定空性和包含性？
影响因子：
1.1
作者：
Daviaud L
通讯作者：
Daviaud L
尺寸变化抽象和最大加自动机
DOI：
--
发表时间：
2014
期刊：
International Symposium on Mathematical Foundations of Computer Science
影响因子：
--
作者：
Thomas Colcombet;Laure Daviaud;Florian Zuleger
通讯作者：
Florian Zuleger