...
机译:QUANTICOL中的集体自适应系统的时空模型检查
Consiglio Nazionale delle Ricerche - Istituto di Scienza e Tecnologie della Informazione 'A. Faedo', Pisa,Italy;
Consiglio Nazionale delle Ricerche - Istituto di Scienza e Tecnologie della Informazione 'A. Faedo', Pisa,Italy;
Universita di Firenze - Dipartimento di Statistica, Informatica, Applicazioni, Firenze, Italy and IMT Alti Studi,Lucca, Italy;
Consiglio Nazionale delle Ricerche - Istituto di Scienza e Tecnologie della Informazione 'A. Faedo', Pisa,Italy;
Temporal Logics; Spatial Logics; Model-checking; Collective Adaptive Systems;
机译:集体适应系统的层次结构中的集体效用:在运输系统中的应用
机译:自适应天线系统的时空搜索器
机译:国家约束纯反馈系统的神经视觉容错控制:集体反向设计
机译:集体自适应系统的数据验证:车辆位置数据的空间模型检查
机译:群机器人系统中自适应集体觅食的设计。
机译:适应性专业知识反思性实践和活动理论是否可以帮助实现基于系统的实践和集体能力?
机译:集体自适应系统中的自适应特征
机译:自适应光学系统的时空响应对成像性能的影响