Login / Signup
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