Login / Signup

Symbolic Reachability Analysis of Probabilistic Linear Hybrid Automata.

Yosuke MutsudaTakaaki KatoSatoshi Yamane
Published in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2005)
Keyphrases
  • reachability analysis
  • hybrid automata
  • markov decision processes
  • model checking
  • finite state automata
  • timed automata
  • incremental algorithms
  • bayesian networks
  • probabilistic model