Sign in
Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems.
Fei He
Xiaowei Gao
Bow-Yaw Wang
Lijun 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