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.

An STL-Based Formulation of Resilience in Cyber-Physical Systems

hongkai Chen, Shan Lin 0001, Scott A. Smolka, Nicola Paoletti. An STL-Based Formulation of Resilience in Cyber-Physical Systems. In Sergiy Bogomolov, David Parker 0001, editors, Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings. Volume 13465 of Lecture Notes in Computer Science, pages 117-135, Springer, 2022. [doi]

Authors

hongkai Chen

This author has not been identified. Look up 'hongkai Chen' in Google

Shan Lin 0001

This author has not been identified. Look up 'Shan Lin 0001' in Google

Scott A. Smolka

This author has not been identified. Look up 'Scott A. Smolka' in Google

Nicola Paoletti

This author has not been identified. Look up 'Nicola Paoletti' in Google
runs on