Bounded variability of metric temporal logic

Carlo A. Furia, Paola Spoletini. Bounded variability of metric temporal logic. Annals of Mathematics and Artificial Intelligence, 80(3-4):283-316, 2017. [doi]

Abstract

Abstract is missing.