1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
We introduce a novel logic for asynchronous hyperproperties with a new mechanism to identify relevant positions on traces. While the new logic is more expressive than a related log…