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.

Synthesizing Controllers for Automation Tasks with Performance Guarantees

Chih-Hong Cheng, Michael Geisinger, Christian Buckl. Synthesizing Controllers for Automation Tasks with Performance Guarantees. In Ezio Bartocci, C. R. Ramakrishnan, editors, Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings. Volume 7976 of Lecture Notes in Computer Science, pages 154-159, Springer, 2013. [doi]

Authors

Chih-Hong Cheng

This author has not been identified. Look up 'Chih-Hong Cheng' in Google

Michael Geisinger

This author has not been identified. Look up 'Michael Geisinger' in Google

Christian Buckl

This author has not been identified. Look up 'Christian Buckl' in Google
runs on