Branch-and-Bound Optimization of a Multiagent System for Flow Production using Model Checking.
Stefan EdelkampChristoph GreulichPublished in: ICAART (1) (2016)
Keyphrases
- model checking
- branch and bound
- multiagent systems
- combinatorial optimization
- temporal logic
- lower bound
- search algorithm
- branch and bound algorithm
- search space
- upper bound
- multi agent
- formal verification
- model checker
- finite state
- optimal solution
- formal specification
- symbolic model checking
- optimization problems
- tree search
- bounded model checking
- verification method
- epistemic logic
- formal methods
- computation tree logic
- beam search
- search strategies
- mathematical programming
- search strategy
- markov decision processes
- simulated annealing
- multi agent systems