12981 search results - page 252 / 2597 » Model Checking (Abstract) |
140
Voted
TOCL
2011
14 years 10 months ago
2011
In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the s...
151
Voted
MEMICS
2010
14 years 10 months ago
2010
204
Voted
FMSD
2011
14 years 7 months ago
2011
190
Voted
COMPSAC
2011
IEEE
14 years 3 months ago
2011
IEEE
97
Voted
EMNLP
2011
14 years 3 months ago
2011
