Counter Automata: Verification and Synthesis
Counter Automata: Verification and Synthesis
计数器自动机：验证与综合
批准号：
EP/M011801/1
负责人：
Ranko Lazic
金额：
$29.21万
依托单位：
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2015
资助国家：
英国
项目状态：
已结题
起止时间：
2015 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Binary Reachability of Timed-register Pushdown Automata and Branching Vector Addition Systems
定时寄存器下推自动机和分支向量加法系统的二进制可达性
定时寄存器下推自动机和分支向量加法系统的二进制可达性
DOI：
10.1145/3326161
发表时间：
2019
期刊：
ACM Transactions on Computational Logic
影响因子：
0.5
作者：
[Clemente L]
通讯作者：
Clemente L
Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete
具有状态的二维一元向量加法系统的可达性是 NL 完全的
具有状态的二维一元向量加法系统的可达性是 NL 完全的
DOI：
10.1145/2933575.2933577
发表时间：
2016
期刊：
影响因子：
--
作者：
[Englert M]
通讯作者：
Englert M
DOI：
10.4230/lipics.icalp.2017.119
发表时间：
2017-04
期刊：
影响因子：
--
作者：
[Diego Figueira;R. Lazic;Jérôme Leroux;Filip Mazowiecki;G. Sutre]
通讯作者：
Diego Figueira;R. Lazic;Jérôme Leroux;Filip Mazowiecki;G. Sutre
Pumping lemmas for weighted automata
加权自动机的泵送引理
加权自动机的泵送引理
DOI：
10.46298/lmcs-17(3:7)2021
发表时间：
2021
期刊：
Logical Methods in Computer Science
影响因子：
0.6
作者：
[Chattopadhyay A]
通讯作者：
Chattopadhyay A
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[Goeller S]
通讯作者：
Goeller S
共 9 条
海外基金