ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Trace Analysis Using an Event-Driven Interval Temporal Logic
Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science
◽
10.1007/978-3-030-45260-5_11
◽
2020
◽
pp. 177-192
Author(s):
María-del-Mar Gallardo
◽
Laura Panizo
Keyword(s):
Temporal Logic
◽
Trace Analysis
◽
Interval Temporal Logic
◽
Event Driven
Download Full-text
Related Documents
Cited By
References
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close