Back to Results
First PageMeta Content
Philosophy / Logic / Theoretical computer science / Temporal logic / Logic in computer science / Linear temporal logic / Modal logic / Causality / Formal verification


Ensuring Agent Properties under Arbitrary Sequences of Incoming Events Stefania Costantini1 , Pierangelo Dell’Acqua2 , Lu´ıs Moniz Pereira3 , and Arianna Tocchio1 1
Add to Reading List

Document Date: 2010-06-08 10:41:46


Open Document

File Size: 224,52 KB

Share Result on Facebook