LTLC: Linear Temporal Logic for Control - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Youngmin Kwon, Gul Agha. LTLC: Linear Temporal Logic for Control. In Magnus Egerstedt, Bud Mishra, editors, Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings. Volume 4981 of Lecture Notes in Computer Science, pages 316-329, Springer, 2008. [doi]

This author has not been identified. Look up 'Youngmin Kwon' in GoogleThis author has not been identified. Look up 'Gul Agha' in Google

runs on WebDSL