Hyperproperties of real-valued signals.

Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Taylor T. Johnson

Browse the full MEMOCODE paper archive.