Login / Signup
Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement.
Jingyi Wang
Jun Sun
Shengchao Qin
Cyrille Jégourel
Published in:
IEEE Trans. Software Eng. (2021)
Keyphrases
</>
complex systems
learning process
dynamic systems
multi agent systems
physical systems
steady state simulation
industrial systems