Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report).

Anthony W. Lin Philipp Rümmer

Published in: CoRR (2016)

Keyphrases

technical report
management system
complex systems
machine learning
distributed systems
real world
artificial intelligence
website
expert systems
information technology
intelligent systems
knowledge based systems
systems require