Sign in

Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems.

Fei HeXiaowei GaoBow-Yaw WangLijun Zhang
Published in: POPL (2015)
Keyphrases
  • distributed systems
  • real time
  • databases
  • intelligent systems
  • cellular automata
  • neural network
  • probabilistic model
  • knowledge based systems
  • building blocks
  • information theoretic
  • finite state machines