acm sigbed
|
emsoft
|
participants
Nimit Singhania
EMSOFT 2014: 14th International Conference on Embedded Software
Precise Piecewise Affine Models From Input-Output Data
Rajeev Alur
and
Nimit Singhania
10.1145/2656045.2656064
https://www.cis.upenn.edu/~alur/emsoft14.pdf