EFSMT: A Logical Framework for Cyber-Physical Systems

Chih-Hong Cheng, Natarajan Shankar, Harald Rueß and Saddek Bensalem

CoRR, abs/1306.3456

2013

url:http://arxiv.org/abs/1306.3456