From Formal Modelling to Agent Simulation Execution and Testing.
Ilias SakellariouDimitris DranidisMarina NtikaPetros KefalasPublished in: ICAART (1) (2015)
Keyphrases
- agent model
- cooperating agents
- plan execution
- multi agent systems
- intelligent agents
- agent architecture
- code generation
- symbolic execution
- multi agent
- dynamic environments
- multiagent systems
- autonomous agents
- simulation model
- artificial intelligence
- test generation
- multiple agents
- mobile agents
- software agents
- formal specification
- test data
- decision theoretic
- mathematical model
- simulation models
- social welfare
- operational semantics
- test cases
- cooperative
- testing process
- decision making
- data sets
- formal descriptions