Gang Chen, Mei Liu, Zhaodan Kong. Semantic Inference for Cyber-Physical Systems with Signal Temporal Logic. In 58th IEEE Conference on Decision and Control, CDC 2019, Nice, France, December 11-13, 2019. pages 6269-6274, IEEE, 2019. [doi]
Abstract is missing.