Upper Bounding Diameters of State Spaces of Factored Transition Systems.
Friedrich KurzMohammad AbdulazizPublished in: Arch. Formal Proofs (2018)
Keyphrases
- upper bounding
- transition systems
- state space
- fully observable
- upper bound
- finite state
- model checking
- branch and bound algorithm
- concurrent systems
- markov decision processes
- lower bounding
- lower bound
- markov chain
- temporal logic
- planning problems
- control flow
- reinforcement learning
- dynamic programming
- heuristic search
- optimal policy
- linear programming relaxation
- partially observable
- practical reasoning
- dynamical systems
- reactive systems
- goal state
- lower and upper bounds
- multi step
- knapsack problem
- search space
- belief state
- distributed systems
- partial observability
- formal specification
- mathematical programming
- optimal solution
- distance measure
- belief space
- data flow
- dynamic time warping
- branch and bound
- genetic algorithm