Login / Signup
Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols).
Chih-Duo Hong
Anthony W. Lin
Rupak Majumdar
Philipp Rümmer
Published in:
CAV (1) (2019)
Keyphrases
</>
search algorithm
distributed systems
generative model
complex systems
application level
data sets
databases
neural network
genetic algorithm
probabilistic model
peer to peer
intelligent systems
learning systems
distributed databases