A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh. A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. 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 187-200, Springer, 2008. [doi]

This author has not been identified. Look up 'Goran Frehse' in GoogleThis author has not been identified. Look up 'Sumit Kumar Jha' in GoogleThis author has not been identified. Look up 'Bruce H. Krogh' in Google

runs on WebDSL