118 search results - page 1 / 24 » Model Checking Durational Probabilistic Systems |
FOSSACS
2005
Springer
13 years 10 months ago
2005
Springer
CORR
2011
Springer
12 years 9 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
FAC
2008
13 years 5 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
HICSS
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract— The electricity price duration curve (EPDC) represents the probability distribution function of the electricity price considered as a random variable. The price uncerta...
IEEEARES
2008
IEEE
13 years 11 months ago
2008
IEEE
Reliability analysis has become an integral part of system design and operating. This is especially true for systems performing critical tasks such as mass transportation systems....