Short Duration Aggregate Statistical Model Checking for Multi-Agent Systems

von Yenda, Ramesh
Veröffentlicht in PRIMA (23. : 2020 : Online) PRIMA 2020: principles and practice of multi-agent systems (2021)