@misc{indiciaed7e48a3662cb,
  title = {Cooperative Tasking for Deterministic Specification Automata},
  author = {Mohammad Karimadini and Hai Lin},
  year = {2012},
  url = {https://arxiv.org/abs/1101.2002},
  note = {Source identifier: 1101.2002}
}