Given, a sequence X of n variables, a time-series constraint
ctr using t...
Testing cyber-physical systems involves the execution of test cases on
t...
This paper introduces a combinatorial optimization approach to register
...
First this report presents a restricted set of finite transducers used t...