Robustness of temporal logic specifications for continuous-time signals

authors: Georgios E. Fainekos, George J. Pappas

venue (journal): Theoretical Computer Science

date: 2009

specification languages

• MTL

keywords

(nil)

URL

• https://dx.doi.org/10.1016/j.tcs.2009.06.021 (auto-generated link)

BibTeX

@article{e92e38ca-af0e-400d-8137-c26068840898,
  title = {Robustness of temporal logic specifications for continuous-time signals},
  author = {Georgios E. Fainekos AND George J. Pappas},
  year = {2009},
  journal = {Theoretical Computer Science},
}