https://openreview.net/forum?id=P4O7iEVUcm
Non-Deterministic Planning for Hyperproperty Verification | OpenReview
Non-deterministic planning aims to find a policy that achieves a given objective in an environment where actions have uncertain effects, and the agent -...
planning fornondeterministicverificationopenreview