On Conflicts and Satisfiability in Metric Timed Normative Logics.

Karam Younes Kharraz, Gerardo Schneider, Martin Leucker

Browse the full JURIX paper archive.