TY - CPAPER AU - Lomuscio,AR DO - 10.1109/TIME.2014.23 PY - 2014/// TI - Advances in symbolic model checking for multi-agent systems UR - http://dx.doi.org/10.1109/TIME.2014.23 ER -