2872 search results - page 151 / 575 » On (Omega-)Regular Model Checking |
CONCUR
2004
Springer
15 years 4 months ago
2004
Springer
In this paper, we study the complexity of model-checking formulas of three important real-time logics (MTL, MITL, and TCTL) over restricted sets of timed paths. The classes of rest...
FASE
2004
Springer
15 years 4 months ago
2004
Springer
FATES
2004
Springer
15 years 4 months ago
2004
Springer
FMCAD
2004
Springer
15 years 4 months ago
2004
Springer
FORMATS
2004
Springer
15 years 4 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...