Login / Signup

Optimization of Timed Automata Models Using Mixed-Integer Programming.

Sebastian PanekOlaf StursbergSebastian Engell
Published in: FORMATS (2003)
Keyphrases
  • mixed integer programming
  • probabilistic model
  • timed automata
  • piecewise linear functions
  • optimization problems
  • genetic algorithm
  • knowledge base
  • bayesian networks
  • model checking
  • column generation