Login / Signup

Reachability Problems on Extended O-Minimal Hybrid Automata.

Raffaella Gentilini
Published in: FORMATS (2005)
Keyphrases
  • hybrid automata
  • benchmark problems
  • computational biology
  • optimization problems
  • np complete