{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:12:17Z","timestamp":1760202737051,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319661964"},{"type":"electronic","value":"9783319661971"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66197-1_7","type":"book-chapter","created":{"date-parts":[[2017,8,12]],"date-time":"2017-08-12T01:02:30Z","timestamp":1502499750000},"page":"104-119","source":"Crossref","is-referenced-by-count":2,"title":["An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions"],"prefix":"10.1007","author":[{"given":"Laura","family":"Bozzelli","sequence":"first","affiliation":[]},{"given":"Alberto","family":"Molinari","sequence":"additional","affiliation":[]},{"given":"Angelo","family":"Montanari","sequence":"additional","affiliation":[]},{"given":"Adriano","family":"Peron","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,13]]},"reference":[{"issue":"11","key":"7_CR1","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"unstructured":"Bozzelli, L., Molinari, A., Montanari, A., Peron, A.: An in-depth investigation of ITL MC with regular expressions. Technical report 2, University of Udine, Italy (2017). https:\/\/www.dimi.uniud.it\/la-ricerca\/pubblicazioni\/preprints\/2.2017\/","key":"7_CR2"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/978-3-319-40229-1_27","volume-title":"Automated Reasoning","author":"L Bozzelli","year":"2016","unstructured":"Bozzelli, L., Molinari, A., Montanari, A., Peron, A., Sala, P.: Interval temporal logic model checking: the border between good and bad HS fragments. In: Olivetti, N., Tiwari, A. (eds.) IJCAR 2016. LNCS (LNAI), vol. 9706, pp. 389\u2013405. Springer, Cham (2016). doi: 10.1007\/978-3-319-40229-1_27"},{"unstructured":"Bozzelli, L., Molinari, A., Montanari, A., Peron, A., Sala, P.: Interval vs. point temporal logic model checking: an expressiveness comparison. In: FSTTCS (2016)","key":"7_CR4"},{"doi-asserted-by":"crossref","unstructured":"Bozzelli, L., Molinari, A., Montanari, A., Peron, A., Sala, P.: MC the logic of Allen\u2019s relations meets and started-by is P$$^{\\rm NP}$$-C. In: GandALF, pp. 76\u201390 (2016)","key":"7_CR5","DOI":"10.4204\/EPTCS.226.6"},{"issue":"1\u20133","key":"7_CR6","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/s10472-013-9376-4","volume":"71","author":"D Bresolin","year":"2014","unstructured":"Bresolin, D., Della Monica, D., Goranko, V., Montanari, A., Sciavicco, G.: The dark side of interval temporal logic: marking the undecidability border. Ann. Math. Artif. Intell. 71(1\u20133), 41\u201383 (2014)","journal-title":"Ann. Math. Artif. Intell."},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/10722167_20","volume-title":"Computer Aided Verification","author":"J Esparza","year":"2000","unstructured":"Esparza, J., Hansel, D., Rossmanith, P., Schwoon, S.: Efficient algorithms for model checking pushdown systems. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol. 1855, pp. 232\u2013247. Springer, Heidelberg (2000). doi: 10.1007\/10722167_20"},{"issue":"4","key":"7_CR8","doi-asserted-by":"publisher","first-page":"935","DOI":"10.1145\/115234.115351","volume":"38","author":"JY Halpern","year":"1991","unstructured":"Halpern, J.Y., Shoham, Y.: A propositional modal logic of time intervals. J. ACM 38(4), 935\u2013962 (1991)","journal-title":"J. ACM"},{"issue":"2","key":"7_CR9","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s10703-009-0067-z","volume":"34","author":"O Kupferman","year":"2009","unstructured":"Kupferman, O., Piterman, N., Vardi, M.Y.: From liveness to promptness. Formal Methods Syst. Des. 34(2), 83\u2013103 (2009)","journal-title":"Formal Methods Syst. Des."},{"unstructured":"Lomuscio, A., Michaliszyn, J.: An epistemic HS logic. In: IJCAI, pp. 1010\u20131016 (2013)","key":"7_CR10"},{"unstructured":"Lomuscio, A., Michaliszyn, J.: Decidability of model checking multi-agent systems against a class of EHS specifications. In: ECAI, pp. 543\u2013548 (2014)","key":"7_CR11"},{"unstructured":"Lomuscio, A., Michaliszyn, J.: Model checking multi-agent systems against epistemic HS specifications with regular expressions. In: KR, pp. 298\u2013308 (2016)","key":"7_CR12"},{"issue":"2","key":"7_CR13","doi-asserted-by":"crossref","first-page":"217","DOI":"10.3233\/FI-2014-1011","volume":"131","author":"J Marcinkowski","year":"2014","unstructured":"Marcinkowski, J., Michaliszyn, J.: The undecidability of the logic of subintervals. Fundamenta Informaticae 131(2), 217\u2013240 (2014)","journal-title":"Fundamenta Informaticae"},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1007\/s00236-015-0250-1","volume":"53","author":"A Molinari","year":"2016","unstructured":"Molinari, A., Montanari, A., Murano, A., Perelli, G., Peron, A.: Checking interval properties of computations. Acta Informatica 53, 587\u2013619 (2016)","journal-title":"Acta Informatica"},{"doi-asserted-by":"crossref","unstructured":"Molinari, A., Montanari, A., Peron, A.: Complexity of ITL model checking: some well-behaved fragments of the interval logic HS. In: TIME, pp. 90\u2013100 (2015)","key":"7_CR15","DOI":"10.1109\/TIME.2015.12"},{"unstructured":"Molinari, A., Montanari, A., Peron, A.: A model checking procedure for interval temporal logics based on track representatives. In: CSL, pp. 193\u2013210 (2015)","key":"7_CR16"},{"unstructured":"Molinari, A., Montanari, A., Peron, A., Sala, P.: Model checking well-behaved fragments of HS: the (Almost) final picture. In: KR, pp. 473\u2013483 (2016)","key":"7_CR17"},{"doi-asserted-by":"crossref","unstructured":"Montanari, A.: Interval temporal logics model checking. In: TIME, p. 2 (2016)","key":"7_CR18","DOI":"10.1109\/TIME.2016.32"},{"unstructured":"Moszkowski, B.: Reasoning about digital circuits. Ph.D. thesis, Stanford (1983)","key":"7_CR19"},{"key":"7_CR20","first-page":"451","volume":"9","author":"P Roeper","year":"1980","unstructured":"Roeper, P.: Intervals and tenses. J. Philos. Log. 9, 451\u2013469 (1980)","journal-title":"J. Philos. Log."},{"issue":"4","key":"7_CR21","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1305\/ndjfl\/1093635589","volume":"31","author":"Y Venema","year":"1990","unstructured":"Venema, Y.: Expressiveness and completeness of an interval tense logic. Notre Dame J. Formal Log. 31(4), 529\u2013547 (1990)","journal-title":"Notre Dame J. Formal Log."}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66197-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,15]],"date-time":"2020-10-15T03:08:29Z","timestamp":1602731309000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66197-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319661964","9783319661971"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66197-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}