Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies through Mathematical Programming.
Spiridon ReveliotisElzbieta RoszkowskaJin Young ChoiPublished in: CASE (2007)
Keyphrases
- mathematical programming
- linear programming
- queueing theory
- goal programming
- combinatorial optimization
- mixed integer linear
- optimal policy
- cell suppression
- multi objective
- model checking
- robust optimization
- mixed integer linear programming
- vehicle routing problem
- optimization approaches
- computational complexity
- cost function
- evolutionary algorithm
- search space