499 search results - page 13 / 100 » LTL satisfiability checking |
128
Voted
FMICS
2008
Springer
15 years 6 months ago
2008
Springer
CORR
2009
Springer
15 years 2 months ago
2009
Springer
163
Voted
MEMICS
2010
14 years 11 months ago
2010
133
click to vote
ATVA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. It is well known that modelchecking and satisfiability of Linear Temporal Logic (LTL) are Pspace-complete. Wolper showed that with grammar operators, this result can be e...