{"date_published":"2008-03-11T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Springer","status":"public","year":"2008","page":"475 - 505","day":"11","citation":{"ieee":"O. Maler, D. Nickovic, and A. Pnueli, “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, pp. 475–505.","short":"O. Maler, D. Nickovic, A. Pnueli, in:, Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505.","ama":"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>","mla":"Maler, Oded, et al. “Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.” <i>Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday</i>, Springer, 2008, pp. 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>.","apa":"Maler, O., Nickovic, D., &#38; Pnueli, A. (2008). 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> (pp. 475–505). Springer. <a href=\"https://doi.org/10.1007/978-3-540-78127-1_26\">https://doi.org/10.1007/978-3-540-78127-1_26</a>","chicago":"Maler, Oded, Dejan Nickovic, and Amir Pnueli. “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>, 475–505. Springer, 2008. <a href=\"https://doi.org/10.1007/978-3-540-78127-1_26\">https://doi.org/10.1007/978-3-540-78127-1_26</a>.","ista":"Maler O, Nickovic D, Pnueli A. 2008.Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. In: Pillars of Computer science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. LNCS, , 475–505."},"month":"03","date_created":"2018-12-11T12:08:30Z","article_processing_charge":"No","publication":"Pillars of Computer science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday","publication_status":"published","oa_version":"None","abstract":[{"text":"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.","lang":"eng"}],"_id":"4371","doi":"10.1007/978-3-540-78127-1_26","author":[{"first_name":"Oded","full_name":"Maler, Oded","last_name":"Maler"},{"id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87","last_name":"Nickovic","full_name":"Nickovic, Dejan","first_name":"Dejan"},{"last_name":"Pnueli","full_name":"Pnueli, Amir","first_name":"Amir"}],"quality_controlled":"1","scopus_import":"1","title":"Checking Temporal Properties of Discrete, Timed and Continuous Behaviors","alternative_title":["LNCS"],"publication_identifier":{"isbn":["9783540781264"]},"language":[{"iso":"eng"}],"date_updated":"2023-02-14T10:42:38Z","publist_id":"1087","extern":"1","type":"book_chapter"}