Automatic synthesis of reactive agents - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Insu Song, Guido Governatori, Joachim Diederich. Automatic synthesis of reactive agents. In 11th International Conference on Control, Automation, Robotics and Vision, ICARCV 2010, Singapore, 7-10 December 2010, Proceedings. pages 970-975, IEEE, 2010. [doi]

This author has not been identified. Look up 'Insu Song' in GoogleThis author has not been identified. Look up 'Guido Governatori' in GoogleThis author has not been identified. Look up 'Joachim Diederich' in Google

runs on WebDSL