Distribution temporal logic: Combining correctness with quality of estimation

@inproceedings{jones_distribution_2013,
  address = {Firenze},
  title = {Distribution temporal logic: {Combining} correctness with quality of estimation},
  isbn = {978-1-4673-5717-3 978-1-4673-5714-2 978-1-4799-1381-7},
  shorttitle = {Distribution temporal logic},
  url = {http://ieeexplore.ieee.org/document/6760628/},
  language = {en},
  urldate = {2020-09-15},
  booktitle = {52nd {IEEE} {Conference} on {Decision} and {Control}},
  publisher = {IEEE},
  author = {Jones, Austin and Schwager, Mac and Belta, Calin},
  month = dec,
  year = {2013},
  keywords = {signal\_temporal\_logic},
  pages = {4719--4724},
  month_numeric = {12}
}