Two Model Checking Approaches to Branch-and-Bound Optimization of a Flow Production System.
Christoph GreulichStefan EdelkampPublished in: ICAART (Revised Selected Papers) (2016)
Keyphrases
- production system
- model checking
- branch and bound
- combinatorial optimization
- temporal logic
- lower bound
- branch and bound algorithm
- search algorithm
- column generation
- finite state
- upper bound
- multistage
- verification method
- search space
- formal verification
- optimal solution
- tree search
- expert systems
- computation tree logic
- np complete
- search strategies
- formal methods
- optimization problems
- beam search
- scheduling problem
- reinforcement learning
- knowledge base