@article{censussignaltemporallogicinferencefor,
  title = {Census Signal Temporal Logic Inference for Multi-Agent Group Behavior Analysis},
  author = {Zhe Xu and Agung Julius},
  year = {2016},
  eprint = {1610.05612},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1610.05612v1},
}