Logic for Timed Agent Network Topologies
Logic for Timed Agent Network Topologies
复制标题
定时代理网络拓扑的逻辑
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
S. Pruekprasert
中科院分区：
文献类型：
--
作者：
C. Eberhart;J. Haydon;J. Dubut;A. Cetinkaya;S. Pruekprasert
登录
查看更多内容
影响因子：
2.5
作者：
Alur, R;Feder, T;Henzinger, TA
通讯作者：
Henzinger, TA
从时空规范进行机器人群体控制
DOI：
--
发表时间：
2016
期刊：
IEEE Conference on Decision and Control
影响因子：
--
作者：
I. Haghighi;Sadra Sadraddini;C. Belta
通讯作者：
C. Belta
DOI：
10.1109/cdc.2014.7039367
发表时间：
2014
期刊：
53rd IEEE Conference on Decision and Control
影响因子：
--
作者：
Ebru Aydin Gol;E. Bartocci;C. Belta
通讯作者：
C. Belta
DOI：
--
发表时间：
2006
期刊：
Workshop on Recent Trends in Algebraic Development Techniques
影响因子：
--
作者：
Paolo Baldan;A. Corradini;B. König;Alberto Lluch
通讯作者：
Alberto Lluch
信号时空逻辑中随机时空系统的指定和监控属性
DOI：
--
发表时间：
2014
期刊：
ValueTools
影响因子：
--
作者：
L. Nenzi;L. Bortolussi
通讯作者：
L. Bortolussi