683 search results - page 31 / 137 » Modelling Evolvable Systems: A Temporal Logic View |
TACAS
2005
Springer
14 years 26 days ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...
RTDB
2001
13 years 8 months ago
2001
A database system contains base data items which record and model a physical, real world environment. For better decision support, base data items are summarized and correlated to...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
TACAS
2000
Springer
13 years 11 months ago
2000
Springer
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...