Informed Swarm Verification of InfiniteState Systems

被引：0
|
作者：
Wijs, Anton [1 ]
机构：
[1] Eindhoven Univ Technol, Eindhoven, Netherlands
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2011年 / 73期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：19 / 19
页数：1
相关论文
共 50 条
  • [1] Towards Informed Swarm Verification
    Wijs, Anton
    NASA FORMAL METHODS, 2011, 6617 : 422 - 437
  • [2] Towards temporal verification of swarm robotic systems
    Dixon, Clare
    Winfield, Alan F. T.
    Fisher, Michael
    Zeng, Chengxiu
    ROBOTICS AND AUTONOMOUS SYSTEMS, 2012, 60 (11) : 1429 - 1441
  • [3] Verification of emergent behaviors in swarm-based systems
    Rouff, C
    Vanderbilt, A
    Hinchey, M
    Truszkowski, W
    Rash, J
    11TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2004, : 443 - 448
  • [4] A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems
    Lomuscio, Alessio
    Pirovano, Edoardo
    AAMAS '19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 2019, : 161 - 169
  • [5] Swarm Verification Techniques
    Holzmann, Gerard J.
    Joshi, Rajeev
    Groce, Alex
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2011, 37 (06) : 845 - 857
  • [6] Towards a Model-Based Verification Methodology for Complex Swarm Systems
    Gomes Filho, Jonas
    Przigoda, Nils
    Wille, Robert
    Drechsler, Rolf
    2016 SIXTH INTERNATIONAL SYMPOSIUM ON EMBEDDED COMPUTING AND SYSTEM DESIGN (ISED 2016), 2016, : 18 - 23
  • [7] Modelling and Verification for Swarm Robotics
    Cavalcanti, Ana
    Miyazawa, Alvaro
    Sampaio, Augusto
    Li, Wei
    Ribeiro, Pedro
    Timmis, Jon
    INTEGRATED FORMAL METHODS, IFM 2018, 2018, 11023 : 1 - 19
  • [8] An improved swarm model with informed agents to prevent swarm-splitting
    Xu, Bei
    Bai, Guanghan
    Liu, Tao
    Fang, Yining
    Zhang, Yun-an
    Tao, Junyong
    CHAOS SOLITONS & FRACTALS, 2023, 169
  • [9] Selectively-informed particle swarm optimization
    Yang Gao
    Wenbo Du
    Gang Yan
    Scientific Reports, 5
  • [10] Selectively-informed particle swarm optimization
    Gao, Yang
    Du, Wenbo
    Yan, Gang
    SCIENTIFIC REPORTS, 2015, 5
12345