I’ve written about hyperproperties too! https://www.hillelwayne.com/post/hyperproperties/, it frames it around convergence of nondeterministic algorithms instead of the more popular security examples. Micinski is actually the developer of one of the systems I mention, hyperLTL.
I’ve written about hyperproperties too! https://www.hillelwayne.com/post/hyperproperties/, it frames it around convergence of nondeterministic algorithms instead of the more popular security examples. Micinski is actually the developer of one of the systems I mention, hyperLTL.
Such a great read
https://sr.ht/~ilmu/tala.saman/
Gibberishy person being gibberish (referring to self, thanks for good article)