External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Quantitative monitoring of STL with edit distance

Stefan Jaksic, Ezio Bartocci, Radu Grosu, Thang Nguyen, Dejan Nickovic. Quantitative monitoring of STL with edit distance. Formal Methods in System Design, 53(1):83-112, 2018. [doi]

Authors

Stefan Jaksic

This author has not been identified. Look up 'Stefan Jaksic' in Google

Ezio Bartocci

This author has not been identified. Look up 'Ezio Bartocci' in Google

Radu Grosu

This author has not been identified. Look up 'Radu Grosu' in Google

Thang Nguyen

This author has not been identified. Look up 'Thang Nguyen' in Google

Dejan Nickovic

This author has not been identified. Look up 'Dejan Nickovic' in Google
runs on