289 search results - page 22 / 58 » Regular Linear Temporal Logic |
162
click to vote
LPAR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Recently, local logics for Mazurkiewicz traces are of increasing interest. This is mainly due to the fact that the satisfiability problem has the same complexity as in t...
158
click to vote
BIS
2010
14 years 11 months ago
2010
Nowadays the software systems, including web portals, are developed from a priori assumptions about how the system will be used. However, frequently these assumptions hold only par...
115
click to vote
ECOI
2006
15 years 4 months ago
2006
Ecological data can be difficult to collect, and as a result, some important temporal ecological datasets contain irregularly sampled data. Since many temporal modelling technique...
126
click to vote
FCSC
2010
15 years 2 months ago
2010
Quotients and factors are important notions in the design of various computational procedures for regular languages and for the analysis of their logical properties. We propose a n...
124
click to vote
ATVA
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we describe a first-order linear time temporal logic (LTL) model checker based on multiway decision graphs (MDG). We developed a first-order temporal language, LMDG ...