Vol-2412⫷ Vol-2413 ⫸Vol-2414
urn:nbn:de:0074-2413-0


Vol-2413/paper12⫷Vol-2413/paper13⫸Vol-2413/paper14
Galina NovikovaEsteban Azofeifa

A Comparison of Multi-agent State-space Exploration Approaches for the Verification of Mixed and Partially Observable Domains