Timed Dyadic Deontic Logic. - Karam Younes Kharraz; Martin Leucker; Gerardo Schneider (JURIX, 2021)

Synchronous Agents, Verification, and Blame - A Deontic View. - Karam Younes Kharraz; Shaun Azzopardi; Gerardo Schneider; Martin Leucker (ICTAC, 2023)

On Conflicts and Satisfiability in Metric Timed Normative Logics. - Karam Younes Kharraz; Gerardo Schneider; Martin Leucker (JURIX, 2024)