Distributed synthesis for parameterized temporal logics. Jacobs, S., Tentrup, L., & Zimmermann, M. Inf. Comput., 262(Part):311–328, 2018.
Distributed synthesis for parameterized temporal logics [link]Paper  doi  bibtex   
@article{DBLP:journals/iandc/JacobsTZ18,
  author    = {Swen Jacobs and
               Leander Tentrup and
               Martin Zimmermann},
  title     = {Distributed synthesis for parameterized temporal logics},
  journal   = {Inf. Comput.},
  volume    = {262},
  number    = {Part},
  pages     = {311--328},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.ic.2018.09.009},
  doi       = {10.1016/j.ic.2018.09.009},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/JacobsTZ18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0