@misc{indiciaee3d4382ce96b,
  title = {Towards Symbolic Model Checking for Multi-Agent Systems via OBDDs},
  author = {Raimondi, Franco and Lomunscio, Alessio},
  year = {2004},
  url = {https://ntrs.nasa.gov/citations/20050137709},
  note = {Source identifier: 20050137709}
}