Hyperproperties of real-valued signals

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17 ◽

10.1145/3127041.3127058 ◽

2017 ◽

Cited By ~ 9

Author(s):

Luan Viet Nguyen ◽

James Kapinski ◽

Xiaoqing Jin ◽

Jyotirmoy V. Deshmukh ◽

Taylor T. Johnson