On the Complexity of Reasoning About Dynamic Policies.

Stefan Gller

Browse the full CSL paper archive.