Toward 'verifying' a Water Treatment System.

Jingyi Wang Jun Sun Yifan Jia

Published in: CoRR (2017)

Keyphrases

water treatment
water quality
model checking
multi agent systems
case study
machine learning
temporal logic
knowledge base
markov chain
key features