Automatically ‘Verifying’ Discrete-Time Complex Systems through Learning, Abstraction and Refinement

Jingyi Wang, Jun Sun, Shengchao Qin, Cyrille Jegourel

Research output: Contribution to journalArticlepeer-review

238 Downloads (Pure)

Search results