Cost-limited reachability: a new problem in reachability analysis.

Wei Liao Xiaohui Wei Jizhou Lai

Published in: CoRR (2021)

Keyphrases

reachability analysis
state space
markov decision processes
model checking
timed automata
incremental algorithms
minimum cost
high cost
real time
data mining
knowledge base
dynamic programming
linear programming
cost sensitive