Publication Type
Conference Paper
Book Title/Conference/Journal
International Workshop on AI Compliance Mechanism WAICOM 2022
Year
12-2022
Abstract
In this short note, we describe part of a case study about Singapore’s Personal Data Protection Act, which we first presented in-formally, then formally as interacting Timed Automata. From these, we derive desiderata on a language and verification framework for reasoning about compliance.
Keywords
Compliance, Knowledge Representation and Reasoning, Computational Law, Model Checking
Disciplines
Legal Writing and Research | Science and Technology Law
Subject(s)
Applied or Integration/Application Scholarship
Version
acceptedVersion
Language
eng
Copyright Holder
Authors
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.
Format
application/PDF
Citation
MAHAJAN, Avishkar; STRECKER Martin; WATT, Seng Joe; and WONG, Meng Weng (HUANG Mingrong).
Compliance through model checking. (2022). International Workshop on AI Compliance Mechanism WAICOM 2022.
Available at: https://ink.library.smu.edu.sg/cclaw/3