Estimator-based reactive synthesis under incomplete information

RĂ¼diger Ehlers, Ufuk Topcu. Estimator-based reactive synthesis under incomplete information. In Antoine Girard, Sriram Sankaranarayanan, editors, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015. pages 249-258, ACM, 2015. [doi]

Abstract

Abstract is missing.