4962 search results - page 230 / 993 » Stochastic Model Checking |
FASE
2004
Springer
14 years 3 months ago
2004
Springer
FATES
2004
Springer
14 years 3 months ago
2004
Springer
FMCAD
2004
Springer
14 years 3 months ago
2004
Springer
FORMATS
2004
Springer
14 years 3 months ago
2004
Springer
We study the model-checking problem for weighted timed automata and the weighted CTL logic by the bisimulation approach. Weighted timed automata are timed automata extended with co...
IFIP
2004
Springer
14 years 3 months ago
2004
Springer
In this paper we study the complexity of the model-checking problem for the tree logic introduced as the basis for the query language TQL [Cardelli and Ghelli, 2001]. We define tw...