Benjamin Herd. Statistical runtime verification of agent-based simulations. PhD thesis, King's College London, UK, 2015. [doi]
@phdthesis{ethos-10386, title = {Statistical runtime verification of agent-based simulations}, author = {Benjamin Herd}, year = {2015}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.677138}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-10386}, cites = {0}, citedby = {0}, school = {King's College London, UK}, }