Liveness of Randomised Parameterised Systems under Arbitrary Schedulers.

Anthony W. Lin Philipp Rümmer

Published in: CAV (2) (2016)

Keyphrases

expert systems
distributed systems
retrieval systems
information retrieval
website
multiscale
multi agent
probabilistic model
management system
response time
computer systems
building blocks
embedded systems
search procedure