Feasibility envelopes for metric temporal logic specifications.

Sadra Sadraddini Calin Belta

Published in: CDC (2016)

Keyphrases

metric temporal logic
delay insensitive
practical application
data structure
real world
social networks
website
similarity measure
digital libraries
relational databases