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.

Conservative Safety Monitors of Stochastic Dynamical Systems

Matthew Cleaveland, Oleg Sokolsky, Insup Lee 0001, Ivan Ruchkin. Conservative Safety Monitors of Stochastic Dynamical Systems. In Kristin Yvonne Rozier, Swarat Chaudhuri, editors, NASA Formal Methods - 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings. Volume 13903 of Lecture Notes in Computer Science, pages 140-156, Springer, 2023. [doi]

Authors

Matthew Cleaveland

This author has not been identified. Look up 'Matthew Cleaveland' in Google

Oleg Sokolsky

This author has not been identified. Look up 'Oleg Sokolsky' in Google

Insup Lee 0001

This author has not been identified. Look up 'Insup Lee 0001' in Google

Ivan Ruchkin

This author has not been identified. Look up 'Ivan Ruchkin' in Google
runs on