Efficient Guided Symbolic Reachability Using Reachability Expressions.

Dina Thomas Supratik Chakraborty Paritosh K. Pandya

Published in: TACAS (2006)

Keyphrases

state space
data sets
artificial intelligence
transitive closure
decision making
reinforcement learning
expert systems
search space
computationally efficient
cost effective
mathematical expressions