Login / Signup
Verifying Complex Systems Probabilistically through Learning, Abstraction and Refinement.
Jingyi Wang
Jun Sun
Shengchao Qin
Published in:
CoRR (2016)
Keyphrases
</>
complex systems
dynamic systems
learning process
reinforcement learning
multi agent
machine learning
learning algorithm
multi agent systems
evolutionary computation
physical systems