CÒIR: Verifying Normative Specifications of Complex Systems.
Luca GaspariniTimothy J. NormanMartin J. KollingbaumLiang ChenJohn-Jules Ch. MeyerPublished in: COIN@AAMAS/IJCAI (2015)
Keyphrases
- complex systems
- multi agent systems
- information retrieval
- dynamic systems
- biological systems
- physical systems
- information retrieval systems
- query expansion
- steady state simulation
- industrial systems
- model checking
- mathematical models
- computational systems
- manufacturing systems
- discrete event systems
- formal specification
- technical systems
- software engineering
- multi agent