DMCA

Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation (2004)

by Franco Raimondi , Alessio Lomuscio
Citations:31 - 9 self