Distribution temporal logic: Combining correctness with quality of estimation | IEEE Conference Publication | IEEE Xplore