Symbolic Controller Synthesis for Discrete and Timed Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Eugene Asarin, Oded Maler, Amir Pnueli. Symbolic Controller Synthesis for Discrete and Timed Systems. In Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry, editors, Hybrid Systems II. Volume 999 of Lecture Notes in Computer Science, pages 1-20, Springer, 1994.

This author has not been identified. Look up 'Eugene Asarin' in GoogleThis author has not been identified. Look up 'Oded Maler' in GoogleIdentified as Amir Pnueli

runs on WebDSL