Decidability issues in reduced reachability analysis.

Leo Cacciari Omar Rafiq

Published in: ICNP (1993)

Keyphrases

reachability analysis
markov decision processes
model checking
key issues
data mining
description logics
incremental algorithms
timed automata
decision makers
optimal policy
query answering
qualitative and quantitative