683 search results - page 50 / 137 » Modelling Evolvable Systems: A Temporal Logic View |
144
click to vote
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...
156
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—A large part of a modern SOC’s debug complexity resides in the interaction between the main system components. ion-level debug moves the abstraction level of the debug process...
172
Voted
EPS
1995
Springer
15 years 8 months ago
1995
Springer
PANIC (Parallelism And Neural networks In Classifier systems) is a parallel system to evolve behavioral strategies codified by sets of rules. It integrates several adaptive techni...
141
click to vote
TABLEAUX
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...
143
click to vote
FTRTFT
1998
Springer
15 years 8 months ago
1998
Springer
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...