Isabelle Mainz

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
This work addresses the computation of the set of reachable configurations of linear hybrid automata. The approach relies on symbolic state-space exploration, using acceleration in order to speed up the computation and to make it terminate for a broad class of systems. Our contribution is an original method for accelerating the control cycles of linear(More)
  • 1