A counterexample-guided approach to parameter synthesis for linear hybrid automata Conference

Frehse, Goran, Jha, Sumit Kumar, Krogh, Bruce H. (2008). A counterexample-guided approach to parameter synthesis for linear hybrid automata . EURO-PAR 2011 PARALLEL PROCESSING, PT 1, 4981 187-+.

International Collaboration

cited authors

  • Frehse, Goran; Jha, Sumit Kumar; Krogh, Bruce H

authors

date/time interval

  • April 22, 2008 -

publication date

  • January 1, 2008

published in

keywords

  • Computer Science
  • Computer Science, Theory & Methods
  • Science & Technology
  • Technology

Location

  • MO, St Louis

International Standard Book Number (ISBN) 13

Conference

  • 11th International Conference on Hybrid Systems - Computation and Control

publisher

  • SPRINGER-VERLAG BERLIN

start page

  • 187

end page

  • +

volume

  • 4981