Verification of temporal properties on hybrid automata by simulation relations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alessandro D'Innocenzo, A. Agung Julius, George J. Pappas, Maria Domenica Di Benedetto, S. Di Gennaro. Verification of temporal properties on hybrid automata by simulation relations. In 46th IEEE Conference on Decision and Control, CDC 2007, New Orleans, LA, USA, December 12-14, 2007. pages 4039-4044, IEEE, 2007. [doi]

This author has not been identified. Look up 'Alessandro D'Innocenzo' in GoogleThis author has not been identified. Look up 'A. Agung Julius' in GoogleThis author has not been identified. Look up 'George J. Pappas' in GoogleThis author has not been identified. Look up 'Maria Domenica Di Benedetto' in GoogleThis author has not been identified. Look up 'S. Di Gennaro' in Google

runs on WebDSL