4962 search results - page 268 / 993 » Stochastic Model Checking |
ECEASST
2010
15 years 8 days ago
2010
133
click to vote
TOCL
2011
14 years 9 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...