Syntax-Guided Automated Program Repair for Hyperproperties
We study the problem of automatically repairing infinite-state software programs wrt
temporal hyperproperties. As a first step, we present a repair approach for the temporal logic …
temporal hyperproperties. As a first step, we present a repair approach for the temporal logic …
Non-Deterministic Planning for Hyperproperty Verification
R Beutner, B Finkbeiner - … of the International Conference on Automated …, 2024 - ojs.aaai.org
Non-deterministic planning aims to find a policy that achieves a given objective in an
environment where actions have uncertain effects, and the agent-potentially-only observes …
environment where actions have uncertain effects, and the agent-potentially-only observes …