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 条
  • [31] Carnac: Algorithm Variability for Fast Swarm Verification on FPGA
    Fournier, Emilien
    Teodorov, Ciprian
    Lagadec, Loic
    2021 31ST INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS (FPL 2021), 2021, : 185 - 189
  • [32] Formation reconstruction and virtual simulation verification of swarm UAVs
    Lu Y.
    Zong Q.
    Zhang X.
    Lu H.
    Zhang R.
    Hangkong Xuebao/Acta Aeronautica et Astronautica Sinica, 2020, 41 (04):
  • [33] Modelling the swarm: Analysing biological and engineered swarm systems
    Hamann, Heiko
    Schmickl, Thomas
    MATHEMATICAL AND COMPUTER MODELLING OF DYNAMICAL SYSTEMS, 2012, 18 (01) : 1 - 12
  • [34] "(Un)informed College and Major Choice": Verification in an alternate setting
    Huntington-Klein, Nick
    ECONOMICS OF EDUCATION REVIEW, 2016, 53 : 159 - 163
  • [35] Knowledge Informed Sequential Scene Graph Verification Using VQA
    Thauvin, Dao
    Herbin, Stephane
    2023 IEEE/CVF INTERNATIONAL CONFERENCE ON COMPUTER VISION WORKSHOPS, ICCVW, 2023, : 21 - 31
  • [36] Systems informed positive psychology
    Kern, Margaret L.
    Williams, Paige
    Spong, Cass
    Colla, Rachel
    Sharma, Kesh
    Downie, Andrea
    Taylor, Jessica A.
    Sharp, Sonia
    Siokou, Christine
    Oades, Lindsay G.
    JOURNAL OF POSITIVE PSYCHOLOGY, 2020, 15 (06): : 705 - 715
  • [37] Scale-free fully informed particle swarm optimization algorithm
    Zhang, Chenggong
    Yi, Zhang
    INFORMATION SCIENCES, 2011, 181 (20) : 4550 - 4568
  • [38] Fully informed particle swarm with adaptive small-world topology
    Ge, Yongfeng
    Yu, Weijie
    ICIC Express Letters, 2016, 10 (10): : 2319 - 2326
  • [39] Locally Informed Competitive Swarm Optimizer with an External Archive for Multimodal Optimization
    Zheng, Shuxian
    Zhang, Yuhui
    Wei, Wenhong
    ADVANCED INTELLIGENT COMPUTING TECHNOLOGY AND APPLICATIONS, PT I, ICIC 2024, 2024, 14862 : 477 - 488
  • [40] A Novel Clustering Algorithm Based on Fully-Informed Particle Swarm
    Mansour, Ekhlas Masoudi
    Ahmadi, Abbas
    2019 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2019, : 713 - 720
12345