Verifying Livelock Freedom on Parameterized Rings and Chains.

Alex P. Klinkhamer Ali Ebnenasir

Published in: SSS (2013)

Keyphrases

model checking
machine learning
artificial intelligence
natural language
open source
fine grained
source code
multi agent systems
production system
belief revision