Keyphrases
- reachability analysis
- high density
- markov decision processes
- model checking
- low density
- incremental algorithms
- timed automata
- data center
- high power
- thin film
- magnetic recording
- close proximity
- state space
- magnetic tape
- high bandwidth
- dynamic programming
- databases
- theorem proving
- decision problems
- field effect transistors
- cloud computing