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