We introduce Hyper^2LTL, a temporal logic for the specification of
hyper...
We develop model checking algorithms for Temporal Stream Logic (TSL) and...
Hyperproperties relate multiple computation traces to each other. Model
...
We study the learnability of symbolic finite state automata, a model sho...
share