Results 191 to 200 of about 1,696,138 (202)

A Calculational Deductive System for Linear Temporal Logic

ACM Computing Surveys, 2020
J Stanley Warford
exaly  

A really temporal logic

Journal of the ACM, 1994
Thomas Henzinger, Rajeev Alur, Henzingerthomas A   +2 more
exaly  

Comments on temporal logics for real-time system specification

ACM Computing Surveys, 2009
Matteo Rossi, Carlo A. Furia, Matteo Pradella   +2 more
exaly  

Querying ATSQL databases with temporal logic

ACM Transactions on Database Systems, 2001
Jan Chomicki
exaly  

Fuzzy branching temporal logic

IEEE Transactions on Systems, Man, and Cybernetics, 2004
Doheon Lee, Kwang H Lee
exaly  

Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications

SIAM Journal on Control and Optimization, 2006
Ratnesh Kumar, Shengbing Jiang
exaly  

A Cookbook for Temporal Conceptual Data Modelling with Description Logics

ACM Transactions on Computational Logic, 2014
Michael Zakharyaschev, Alessandro Artale, Vladislav Ryzhikov   +2 more
exaly  

Temporal logic and applications—a tutorial

Computer Networks, 1992
Reinhard Gotzhein
exaly  

Robustness of temporal logic specifications for continuous-time signals

Theoretical Computer Science, 2009
George J. Pappas
exaly  

Concerning the semantic consequence relation in first-order temporal logic

Theoretical Computer Science, 1986
Andrzej Szalas
exaly