1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Jens Oliver Gutsfeld, Arne Meier, Christoph Ohrem +1
Temporal logics have been studied as an approach to the specification of hyperproperties, resulting in the conception of "hyperlogics". With a few recent exceptions, the hyperlogic…