Checking Temporal Properties of Discrete, Timed and Continuous Behaviors LNCS Maler, Oded Nickovic, Dejan Pnueli, Amir We survey some of the problems associated with checking whether a given behavior (a sequence, a Boolean signal or a continuous signal) satisfies a property specified in an appropriate temporal logic and describe two such monitoring algorithms for the real-time logic MITL. Springer 2008 info:eu-repo/semantics/bookPart doc-type:bookPart text http://purl.org/coar/resource_type/c_3248 https://research-explorer.ista.ac.at/record/4371 Maler O, Nickovic D, Pnueli A. Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. In: <i>Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday</i>. Springer; 2008:475-505. doi:<a href="https://doi.org/10.1007/978-3-540-78127-1_26">10.1007/978-3-540-78127-1_26</a> eng info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-540-78127-1_26 info:eu-repo/semantics/altIdentifier/isbn/9783540781264 info:eu-repo/semantics/closedAccess