IEEE - Institute of Electrical and Electronics Engineers, Inc. - Modelling Systems over General Linear Time

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME)

Author(s): John McCabe-Dansted ; Mark Reynolds ; Tim French
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 October 2016
Conference Location: Lyngby, Denmark
Conference Date: 17 October 2016
Page(s): 130 - 139
ISBN (Electronic): 978-1-5090-3825-1
ISSN (Electronic): 2332-6468
DOI: 10.1109/TIME.2016.21
Regular:

It has been shown that every temporal logic formula satisfiable over general linear time has a model than can be expressed as a finite Model Expression (ME). The reals are a subclass of general... View More

Advertisement