We develop notation for describing a temporal structure over the real numbers flow of time. This forms a basis for various reasoning tasks including synthesizing a model from a given temporal or first-order specification. We announce an efficient procedure for finding a manageable description of such a model. There are applications in reasoning about multi-agent systems, understanding natural language, analogue devices, robotics and artificial reasoning.
CITATION STYLE
Reynolds, M. (2001). Continuous temporal models. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2256, pp. 414–425). Springer Verlag. https://doi.org/10.1007/3-540-45656-2_36
Mendeley helps you to discover research relevant for your work.