Temporal Logic with Capacity Constraints.
Clare DixonMichael FisherBoris KonevPublished in: FroCoS (2007)
Keyphrases
- temporal logic
- capacity constraints
- network flow
- minimum cost
- model checking
- bicriteria
- modal logic
- lagrangian relaxation
- single item
- linear temporal logic
- verification method
- belief revision
- computation tree logic
- np hard
- knapsack problem
- sufficient conditions
- upper bound
- lp relaxation
- lost sales
- linear programming
- lower bound
- search algorithm