An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions-Reference-Cited by-同舟云学术

An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions

Published:2017 Issue: Volume: Page:104-119
ISSN:0302-9743
Container-title:Software Engineering and Formal Methods
language:
Short-container-title:

Author:

Bozzelli Laura,Molinari Alberto,Montanari Angelo,Peron Adriano

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-66197-1_7

Reference21 articles.

1. Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)

2. 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/

3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);L Bozzelli,2016

4. Bozzelli, L., Molinari, A., Montanari, A., Peron, A., Sala, P.: Interval vs. point temporal logic model checking: an expressiveness comparison. In: FSTTCS (2016)

5. Bozzelli, L., Molinari, A., Montanari, A., Peron, A., Sala, P.: MC the logic of Allen’s relations meets and started-by is P$$^{\rm NP}$$-C. In: GandALF, pp. 76–90 (2016)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Model checking interval temporal logics with regular expressions;Information and Computation;2020-06

2. Interval vs. Point Temporal Logic Model Checking;ACM Transactions on Computational Logic;2019-01-31

3. Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy;Information and Computation;2018-10

4. On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions;Electronic Proceedings in Theoretical Computer Science;2017-09-06