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}
}