44 search results - page 2 / 9 » csl 2004 |
81
Voted
CSL
2004
Springer
15 years 17 days ago
2004
Springer
88
Voted
CSL
2004
Springer
15 years 17 days ago
2004
Springer
94
Voted
DSN
2004
IEEE
15 years 4 months ago
2004
IEEE
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...
87
Voted
CSL
2004
Springer
15 years 17 days ago
2004
Springer
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of -regular languages. The class has two equivalent descrip...
CSL
2004
Springer
15 years 6 months ago
2004
Springer
By viewing random 3-SAT as a distributional problem, we go over some of the notions of average-case complexity that were considered in the literature. We note that for dense formul...