Login / Signup

Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement.

Jingyi WangJun SunShengchao QinCyrille 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