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 条
  • [1] A simulation approach to verification and validation of formal specifications
    Liu, SY
    [J]. FIRST INTERNATIONAL SYMPOSIUM ON CYBER WORLDS, PROCEEDINGS, 2002, : 113 - 120
  • [2] Towards Automatic Validation of Dynamic Behavior in Pipelined Processor Specifications
    Prabhat Mishra
    Nikil Dutt
    Hiroyuki Tomiyama
    [J]. Design Automation for Embedded Systems, 2003, 8 : 249 - 265
  • [3] Towards automatic validation of dynamic behavior in pipelined processor specifications
    Mishra, P
    Dutt, N
    Tomiyama, H
    [J]. DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2003, 8 (2-3) : 249 - 265
  • [4] TOWARDS THE VALIDATION OF A SIMULATION ENVIRONMENT
    Roungas, Bill
    [J]. 2016 WINTER SIMULATION CONFERENCE (WSC), 2016, : 3676 - 3677
  • [5] Using simulation for the validation of high level specifications of control systems
    Jumpamule, W
    Paillet, JL
    Giambiasi, N
    [J]. JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, 2003, 38 (3-4) : 345 - 375
  • [6] Using Simulation for the Validation of High Level Specifications of Control Systems
    Watcharee Jumpamule
    Jean-Luc Paillet
    Norbert Giambiasi
    [J]. Journal of Intelligent and Robotic Systems, 2003, 38 : 345 - 375
  • [7] Simulation-Assisted Elicitation and Validation of Behavioral Specifications for Multiple Stakeholders
    Gabrysiak, Gregor
    Hebig, Regina
    Giese, Holger
    [J]. 2012 IEEE 21ST INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2012, : 220 - 225
  • [8] Simulation and validation of high-level abstract state machine specifications
    Del Castillo, G
    Glässer, U
    [J]. ESM'99 - MODELLING AND SIMULATION: A TOOL FOR THE NEXT MILLENNIUM, VOL II, 1999, : 463 - 465
  • [9] TOWARDS COMPREHENSIVE SPECIFICATIONS
    WATERS, SJ
    [J]. COMPUTER JOURNAL, 1979, 22 (03): : 195 - 199
  • [10] Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications
    Ek, A
    Grabowski, J
    Hogrefe, D
    Jerome, R
    Koch, B
    Schmitt, M
    [J]. SDL '97 - TIME FOR TESTING: SDL, MSC AND TRENDS, 1997, : 245 - 259
12345