Approximate verification of swarm-based systems: a vision and preliminary results

Benjamin Christoph Herd, Simon Miles, Peter John McBurney, Michael Mordechai Luck

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Engineering Systems for Safety
Subtitle of host publication	Proceedings of the 23rd Safety-critical Systems Symposium
Publisher	Createspace
ISBN (Print)	978-1505689082
Publication status	Published - 2015

Access to Document

http://scsc.org.uk/paper_129/Herd%20-%20Approximate%20verification%20of%20swarm-based%20systems%20a%20vision%20and%20preliminary%20results.pdf?pap=977

Cite this

Herd, B. C., Miles, S., McBurney, P. J., & Luck, M. M. (2015). Approximate verification of swarm-based systems: a vision and preliminary results. In Engineering Systems for Safety: Proceedings of the 23rd Safety-critical Systems Symposium Createspace. http://scsc.org.uk/paper_129/Herd%20-%20Approximate%20verification%20of%20swarm-based%20systems%20a%20vision%20and%20preliminary%20results.pdf?pap=977

@inbook{dbb2442cd5ad4cb1bd8df3be6aea2662,

title = "Approximate verification of swarm-based systems: a vision and preliminary results",

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

year = "2015",

language = "English",

isbn = "978-1505689082",

booktitle = "Engineering Systems for Safety",

publisher = "Createspace",

}

Herd, BC , Miles, S , McBurney, PJ & Luck, MM 2015, Approximate verification of swarm-based systems: a vision and preliminary results. in Engineering Systems for Safety: Proceedings of the 23rd Safety-critical Systems Symposium. Createspace. <http://scsc.org.uk/paper_129/Herd%20-%20Approximate%20verification%20of%20swarm-based%20systems%20a%20vision%20and%20preliminary%20results.pdf?pap=977>