Quantitative analysis of multi-agent systems through statistical verification of simulation traces

Research output: Contribution to journal › Article › peer-review

Original language	English
Journal	International Journal of Agent Oriented Software Engineering
Early online date	5 Sept 2018
Publication status	Published - 2018

Cite this

@article{cbcf8ae8e5a3436284bd9c6421bfb449,

title = "Quantitative analysis of multi-agent systems through statistical verification of simulation traces",

author = "Herd, {Benjamin Christoph} and Simon Miles and McBurney, {Peter John} and Luck, {Michael Mordechai}",

year = "2018",

language = "English",

journal = "International Journal of Agent Oriented Software Engineering",

}

TY - JOUR

T1 - Quantitative analysis of multi-agent systems through statistical verification of simulation traces

AU - Herd, Benjamin Christoph

AU - Miles, Simon

AU - McBurney, Peter John

AU - Luck, Michael Mordechai

PY - 2018

Y1 - 2018

M3 - Article

JO - International Journal of Agent Oriented Software Engineering

JF - International Journal of Agent Oriented Software Engineering

ER -