Login / Signup

Monitoring Bounded LTL Properties Using Interval Analysis.

Daisuke IshiiNaoki YonezakiAlexandre Goldsztejn
Published in: Electron. Notes Theor. Comput. Sci. (2015)
Keyphrases
  • interval analysis
  • constrained optimization
  • real time
  • autocalibration
  • objective function