Login / Signup

Efficient Sink-Reachability Analysis via Graph Reduction (Extended Abstract).

Jens DietrichLijun ChangLong QianLyndon M. HenryCatherine McCartinBernhard Scholz
Published in: ICDE (2023)
Keyphrases
  • extended abstract
  • reachability analysis
  • random walk
  • markov decision processes
  • weighted graph
  • timed automata
  • artificial intelligence
  • model checking
  • graph matching
  • graph structure
  • graph representation