Abstract: Signal temporal logic (STL) is a variant of metric temporal logic (MTL) which can express intricate temporal requirements over signals and has found wide adoption for expressing requirements ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results