[Paper] On Conformant Planning and Model-Checking of $exists^*forall^*$ Hyperproperties
We study the connection of two problems within the planning and verification community: Conformant planning and model-checking of hyperproperties. Conformant pl...