Statistical runtime verification of agent-based simulations

Benjamin Herd. Statistical runtime verification of agent-based simulations. PhD thesis, King's College London, UK, 2015. [doi]

Abstract

Abstract is missing.