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.

Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed

Jiawan Wang, Lei Bu, Shaopeng Xing, Yuming Wu, Xuandong Li. Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed. In Marieke Huisman, Corina S. Pasareanu, Naijun Zhan, editors, Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings. Volume 13047 of Lecture Notes in Computer Science, pages 752-762, Springer, 2021. [doi]

Authors

Jiawan Wang

This author has not been identified. Look up 'Jiawan Wang' in Google

Lei Bu

This author has not been identified. Look up 'Lei Bu' in Google

Shaopeng Xing

This author has not been identified. Look up 'Shaopeng Xing' in Google

Yuming Wu

This author has not been identified. Look up 'Yuming Wu' in Google

Xuandong Li

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