Synthesizing Controllers for Automation Tasks with Performance Guarantees

Chih-Hong Cheng , Michael Geisinger und Christian Buckl

Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pp. 154–159

2013 · DOI: 10.1007/978-3-642-39176-7_10

Url: http://dx.doi.org/10.1007/978-3-642-39176-7_10