1. 11
  1. 4

    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.

    1. 1

      Such a great read

      1. 0

        https://sr.ht/~ilmu/tala.saman/

        Gibberishy person being gibberish (referring to self, thanks for good article)