Distributed Autonomous Systems (Benchmark Proposal)

Tran, Hoang-Dung; Nguyen, Luan Viet; Xiang, Weiming; Johnson, Taylor T.

by Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson

Reference:

Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson, "Distributed Autonomous Systems (Benchmark Proposal)", In 4th Applied Verification for Continuous and Hybrid Systems Workshop (ARCH), Pittsburgh, PA, 2017, apr.

Bibtex Entry:

@InProceedings{tran2017arch,
  author =    {Hoang-Dung Tran and Luan Viet Nguyen and Weiming Xiang and Taylor T. Johnson},
  title = {Distributed Autonomous Systems (Benchmark Proposal)},
  booktitle = {4th Applied Verification for Continuous and Hybrid Systems Workshop (ARCH)},
  year =      {2017},
  address =   {Pittsburgh, PA},
  month =     apr,
    pdf = {http://www.taylortjohnson.com/research/tran2017arch.pdf},
}