Reasoning About Quality in Hyperproperties.

Samuel Graepler, Benjamin Monmege, Jean-Marc Talbot

Browse the full CSL paper archive.