[ACM Press the 18th International Conference - Seattle, Washington (2015.04.14-2015.04.16)] Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 - Reactive synthesis from signal temporal logic specifications
Raman, Vasumathi, Donzé, Alexandre, Sadigh, Dorsa, Murray, Richard M., Seshia, Sanjit A.Year:
2015
Language:
english
DOI:
10.1145/2728606.2728628
File:
PDF, 781 KB
english, 2015