Synthesis for regular specifications over unbounded domains

Jad Hamza, Barbara Jobstmann, Viktor Kuncak. Synthesis for regular specifications over unbounded domains. In Roderick Bloem, Natasha Sharygina, editors, Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23. pages 101-109, IEEE, 2010. [doi]

Abstract

Abstract is missing.