diff --git a/Website/dp2005-abstracts-contents.htm b/Website/dp2005-abstracts-contents.htm new file mode 100644 index 0000000..40514ce --- /dev/null +++ b/Website/dp2005-abstracts-contents.htm @@ -0,0 +1,13 @@ + +
This paper proposes a rule language for defining social expectations based on a metric interval temporal logic with past and future modalities and a current time binding operator. An algorithm for run-time monitoring compliance of rules in this language based on formula progression is also presented.
+ + +Download (PDF, 192KB)
+