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.

Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information

Xinyi Yu, Weijie Dong, Xiang Yin 0003, Shaoyuan Li. Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information. In 61st IEEE Conference on Decision and Control, CDC 2022, Cancun, Mexico, December 6-9, 2022. pages 1553-1559, IEEE, 2022. [doi]

Authors

Xinyi Yu

This author has not been identified. Look up 'Xinyi Yu' in Google

Weijie Dong

This author has not been identified. Look up 'Weijie Dong' in Google

Xiang Yin 0003

This author has not been identified. Look up 'Xiang Yin 0003' in Google

Shaoyuan Li

This author has not been identified. Look up 'Shaoyuan Li' in Google
runs on