Symbolic Model Checking For Multi-Agent Systems (2001)

by Massimo Benerecetti , Alessandro Cimatti
Citations:94 - 14 self