{"article_processing_charge":"No","department":[{"_id":"ToHe"}],"date_created":"2018-12-11T12:01:45Z","month":"01","citation":{"short":"E. Asarin, A. Donzé, O. Maler, D. Nickovic, in:, Springer, 2012, pp. 147–160.","mla":"Asarin, Eugene, et al. <i>Parametric Identification of Temporal Properties</i>. Vol. 7186, Springer, 2012, pp. 147–60, doi:<a href=\"https://doi.org/10.1007/978-3-642-29860-8_12\">10.1007/978-3-642-29860-8_12</a>.","ama":"Asarin E, Donzé A, Maler O, Nickovic D. Parametric identification of temporal properties. In: Vol 7186. Springer; 2012:147-160. doi:<a href=\"https://doi.org/10.1007/978-3-642-29860-8_12\">10.1007/978-3-642-29860-8_12</a>","ieee":"E. Asarin, A. Donzé, O. Maler, and D. Nickovic, “Parametric identification of temporal properties,” presented at the RV: Runtime Verification, San Francisco, CA, United States, 2012, vol. 7186, pp. 147–160.","ista":"Asarin E, Donzé A, Maler O, Nickovic D. 2012. Parametric identification of temporal properties. RV: Runtime Verification, LNCS, vol. 7186, 147–160.","chicago":"Asarin, Eugene, Alexandre Donzé, Oded Maler, and Dejan Nickovic. “Parametric Identification of Temporal Properties,” 7186:147–60. Springer, 2012. <a href=\"https://doi.org/10.1007/978-3-642-29860-8_12\">https://doi.org/10.1007/978-3-642-29860-8_12</a>.","apa":"Asarin, E., Donzé, A., Maler, O., &#38; Nickovic, D. (2012). Parametric identification of temporal properties (Vol. 7186, pp. 147–160). Presented at the RV: Runtime Verification, San Francisco, CA, United States: Springer. <a href=\"https://doi.org/10.1007/978-3-642-29860-8_12\">https://doi.org/10.1007/978-3-642-29860-8_12</a>"},"page":"147 - 160","status":"public","file_date_updated":"2020-07-14T12:46:01Z","oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","ddc":["000"],"type":"conference","has_accepted_license":"1","volume":7186,"date_updated":"2021-01-12T07:41:29Z","alternative_title":["LNCS"],"conference":{"end_date":"2011-09-30","start_date":"2011-09-27","name":"RV: Runtime Verification","location":"San Francisco, CA, United States"},"doi":"10.1007/978-3-642-29860-8_12","author":[{"full_name":"Asarin, Eugene","first_name":"Eugene","last_name":"Asarin"},{"first_name":"Alexandre","full_name":"Donzé, Alexandre","last_name":"Donzé"},{"last_name":"Maler","full_name":"Maler, Oded","first_name":"Oded"},{"first_name":"Dejan","full_name":"Nickovic, Dejan","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87","last_name":"Nickovic"}],"_id":"3162","abstract":[{"lang":"eng","text":"Given a dense-time real-valued signal and a parameterized temporal logic formula with both magnitude and timing parameters, we compute the subset of the parameter space that renders the formula satisfied by the trace. We provide two preliminary implementations, one which follows the exact semantics and attempts to compute the validity domain by quantifier elimination in linear arithmetics and one which conducts adaptive search in the parameter space."}],"publication_status":"published","day":"01","publisher":"Springer","year":"2012","date_published":"2012-01-01T00:00:00Z","publist_id":"3525","language":[{"iso":"eng"}],"intvolume":"      7186","file":[{"date_updated":"2020-07-14T12:46:01Z","creator":"dernst","file_id":"7862","checksum":"ba4a75287008fc64b8fbf78a7476ec32","date_created":"2020-05-15T12:50:15Z","file_name":"2012_RV_Asarin.pdf","relation":"main_file","access_level":"open_access","file_size":374726,"content_type":"application/pdf"}],"title":"Parametric identification of temporal properties","scopus_import":1,"quality_controlled":"1","oa_version":"Submitted Version"}