Towards validation of specifications by simulation

被引：0
|
作者：
Letia, A [1 ]
Craciun, F [1 ]
Köpe, Z [1 ]
机构：
[1] Tech Univ Cluj Napoca, Dept Comp Sci, RO-3400 Cluj Napoca, Romania
来源：
INFRASTRUCTURE FOR AGENTS, MULTI-AGENT SYSTEMS, AND SCALABLE MULTI-AGENT SYSTEMS | 2001年 / 1887卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The aim is to study the behaviour (in terms of utility) of a large number of autonomous agents under various environmental situations. Our experimental framework is an extension of the Swarm simulator with an array of intelligent agents developed in C++ and Prolog.
引用
收藏
页码：293 / 295
页数：3
相关论文
共 50 条
  • [41] Checking formal specifications under simulation
    Canfield, W
    Emerson, EA
    Saha, A
    [J]. INTERNATIONAL CONFERENCE ON COMPUTER DESIGN - VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1997, : 455 - 460
  • [42] Towards the Composition of Specifications in Event-B
    Silva, Renato
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 280 : 81 - 93
  • [43] Towards a Framework for Behavioral Specifications of OSGi Components
    Blech, Jan Olaf
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (108): : 79 - 93
  • [44] Towards Synthesis of Code for Calculations Using Their Specifications
    Datar, Advaita
    Zare, Amey
    Venkatesh, R.
    Asia, A.
    [J]. PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, ENASE 2023, 2023, : 497 - 504
  • [45] Towards more flexible development of Z specifications
    Fu, Zheng
    Smith, Graeme
    [J]. TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2008, : 281 - 288
  • [46] Towards Complete Reasoning about Axiomatic Specifications
    Jacobs, Swen
    Kuncak, Viktor
    [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2011, 6538 : 278 - 293
  • [47] Towards Manipulation Planning with Temporal Logic Specifications
    He, Keliang
    Lahijanian, Morteza
    Kavraki, Lydia E.
    Vardi, Moshe Y.
    [J]. 2015 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2015, : 346 - 352
  • [48] Towards an institution for Object-Z specifications
    Bettaz, Mohamed
    Maouche, Mourad
    Mosteghanemi, M'hamed
    [J]. INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2013, 47 (2-3) : 125 - 137
  • [49] TOWARDS EXECUTABLE SPECIFICATIONS USING CONDITIONAL AXIOMS
    DROSTEN, K
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 166 : 85 - 96
  • [50] ISpec: Towards practical and sound interface specifications
    Jonkers, HBM
    [J]. INTEGRATED FORMAL METHODS, PROCEEDINGS, 2000, 1945 : 116 - 135
12345