Login / Signup

Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming.

Xuandong LiYu PeiJianhua ZhaoYong LiTao ZhengGuoliang Zheng
Published in: CHARME (2001)
Keyphrases
  • linear programming
  • hybrid automata
  • quadratic programming
  • linear inequalities
  • active learning
  • dynamic programming
  • linear program
  • nonlinear programming
  • algorithm for linear programming