Allen Linear (Interval) Temporal Logic – Translation to LTL and Monitor Synthesis

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/11817963_25 ◽

2006 ◽

pp. 263-277 ◽

Cited By ~ 21

Author(s):

Grigore Roşu ◽

Saddek Bensalem

Keyword(s):

Temporal Logic ◽

Interval Temporal Logic ◽

Monitor Synthesis ◽

Linear Interval

Download Full-text

Complexity analysis of a unifying algorithm for model checking interval temporal logic

Information and Computation ◽

10.1016/j.ic.2020.104640 ◽

2020 ◽

pp. 104640

Author(s):

Laura Bozzelli ◽

Angelo Montanari ◽

Adriano Peron

Keyword(s):

Model Checking ◽

Temporal Logic ◽

Complexity Analysis ◽

Interval Temporal Logic

Download Full-text

Reactive Synthesis from Interval Temporal Logic Specifications

Theoretical Computer Science ◽

10.1016/j.tcs.2021.11.023 ◽

2021 ◽

Author(s):

Angelo Montanari ◽

Pietro Sala

Keyword(s):

Temporal Logic ◽

Reactive Synthesis ◽

Interval Temporal Logic

Download Full-text

Reversibility of Executable Interval Temporal Logic Specifications

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-79837-6_13 ◽

2021 ◽

pp. 214-223

Author(s):

Antonio Cau ◽

Stefan Kuhn ◽

James Hoey

Keyword(s):

Temporal Logic ◽

Interval Temporal Logic

Download Full-text

Prompt Interval Temporal Logic

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-319-48758-8_14 ◽

2016 ◽

pp. 207-222 ◽

Cited By ~ 1

Author(s):

Dario Della Monica ◽

Angelo Montanari ◽

Aniello Murano ◽

Pietro Sala

Keyword(s):

Temporal Logic ◽

Interval Temporal Logic

Download Full-text

Telling Non-linear Stories with Interval Temporal Logic

Interactive Storytelling - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27036-4_39 ◽

2015 ◽

pp. 370-373

Author(s):

Matt Thompson ◽

Steve Battle ◽

Julian Padget

Keyword(s):

Temporal Logic ◽

Interval Temporal Logic ◽

Non Linear

Download Full-text

The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-33386-6_8 ◽

2012 ◽

pp. 77-91 ◽

Cited By ~ 4

Author(s):

Paritosh K. Pandya ◽

Simoni S. Shah

Keyword(s):

Lower Bound ◽

Temporal Logic ◽

Bound Constraints ◽

Interval Temporal Logic

Download Full-text

Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals

Mathematical Foundations of Computer Science 2014 - Lecture Notes in Computer Science ◽

10.1007/978-3-662-44522-8_38 ◽

2014 ◽

pp. 451-463 ◽

Cited By ~ 1

Author(s):

Angelo Montanari ◽

Gabriele Puppis ◽

Pietro Sala

Keyword(s):

Temporal Logic ◽

Interval Temporal Logic

Download Full-text

An Automata-Theoretic Completeness Proof for Interval Temporal Logic

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-45022-x_19 ◽

2000 ◽

pp. 223-234 ◽

Cited By ~ 6

Author(s):

Ben C. Moszkowski

Keyword(s):

Temporal Logic ◽

Completeness Proof ◽

Interval Temporal Logic

Download Full-text

Model Checking Cryptographic Protocols with Interval Temporal Logic

Journal of Convergence Information Technology ◽

10.4156/jcit.vol5.issue10.19 ◽

2010 ◽

Vol 5 (10) ◽

pp. 149-158

Author(s):

Rui Yang ◽

Xiaoju Ning

Keyword(s):

Model Checking ◽

Temporal Logic ◽

Cryptographic Protocols ◽

Interval Temporal Logic

Download Full-text

Actions and Events in Interval Temporal Logic

Journal of Logic and Computation ◽

10.1093/logcom/4.5.531 ◽

1994 ◽

Vol 4 (5) ◽

pp. 531-579 ◽

Cited By ~ 314

Author(s):

JAMES F. ALLEN ◽

GEORGE FERGUSON

Keyword(s):

Temporal Logic ◽

Interval Temporal Logic

Download Full-text