On Conformant Planning and Model-Checking of ${\exists }^{\ast }{\forall }^{\ast }$ Hyperproperties

Raven Beutner, Bernd Finkbeiner

We study the connection of two problems within the planning and verification community: Conformant planning and model-checking of hyperproperties. Conformant planning is the task o…