Specification and counterexample generation for cyber-physical systems

Zhen Li, Zining Cao, Fujun Wang, Chao Xing. Specification and counterexample generation for cyber-physical systems. Soft Comput., 28(17-18):9137-9155, September 2024. [doi]

Abstract

Abstract is missing.