JustAct: Actions Universally Justified by Partial Dynamic Policies.
Christopher A. Esterhuyse, Tim Mller, L. Thomas van Binsbergen
Browse the full FORTE paper archive.
Christopher A. Esterhuyse, Tim Mller, L. Thomas van Binsbergen
Browse the full FORTE paper archive.