Dynamic Programming algorithm for Computing Temporal Logic Robustness

Dynamic Programming algorithm for Computing Temporal Logic Robustness

abstract: In this thesis we deal with the problem of temporal logic robustness estimation. We present a dynamic programming algorithm for the robust estimation problem of Metric Temporal Logic (MTL) formulas regarding a finite trace of time stated sequence. This algorithm not only tests if the MTL s...

Full description

Bibliographic Details
Other Authors: Yang, Hengyi (Author)
Format: Dissertation
Language:English
Published: 2013
Subjects:
Computer science
Dynamic Programming
Linear & Metric Temporal Logic
Robustness
Online Access:http://hdl.handle.net/2286/R.I.18026

Internet

http://hdl.handle.net/2286/R.I.18026

Similar Items