Synthesizing Controllers for Automation Tasks with Performance Guarantees

Chih-Hong Cheng, Michael Geisinger and 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