Login / Signup

Efficient Sink-Reachability Analysis via Graph Reduction.

Jens DietrichLijun ChangLong QianLyndon M. HenryCatherine McCartinBernhard Scholz
Published in: IEEE Trans. Knowl. Data Eng. (2022)
Keyphrases
  • reachability analysis
  • random walk
  • video sequences
  • low cost
  • markov decision processes
  • weighted graph
  • search algorithm
  • model checking
  • graph theory
  • graph representation
  • timed automata