Provably-Correct Coordination of Large Collections of Agents with Counting Temporal Logic Constraints

authors: Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay

venue (conference): ICCPS

date: 2017

specification languages

• counting LTL

keywords

(nil)

URL

• https://dx.doi.org/10.1145/3055004.3055021 (auto-generated link)

BibTeX

@inproceedings{d2b29caf-3eb1-4e5b-88be-fe16d929d68a,
  title = {Provably-Correct Coordination of Large Collections of Agents with Counting Temporal Logic Constraints},
  author = {Yunus Emre Sahin AND Petter Nilsson AND Necmiye Ozay},
  year = {2017},
  booktitle = {ICCPS},
  month = {April},
}