Falsification of OTSs by Searches of Bounded Reachable State Spaces.
Kazuhiro OgataWeiqiang KongKokichi FutatsugiPublished in: SEKE (2006)
Keyphrases
- state space
- initial state
- markov chain
- heuristic search
- orders of magnitude
- search tools
- search strategies
- markov decision processes
- web searches
- database
- bounded treewidth
- reinforcement learning algorithms
- optimal policy
- end users
- search space
- expert systems
- multiscale
- case study
- website
- image processing
- artificial intelligence
- data sets
- real time