Monitoring Bounded LTL Properties Using Interval Analysis.

Daisuke Ishii Naoki Yonezaki Alexandre Goldsztejn

Published in: CoRR (2015)

Keyphrases

interval analysis
real time
autocalibration
constrained optimization
computer vision
fuzzy set theory