499 search results - page 13 / 100 » LTL satisfiability checking |
FMICS
2008
Springer
13 years 11 months ago
2008
Springer
ICPADS
2010
IEEE
13 years 7 months ago
2010
IEEE
CORR
2009
Springer
13 years 7 months ago
2009
Springer
MEMICS
2010
13 years 4 months ago
2010
ATVA
2010
Springer
13 years 11 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...