3028 search results - page 278 / 606 » Integrating Temporal Logics |
174
Voted
DATE
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
160
click to vote
FDL
2005
IEEE
16 years 14 days ago
2005
IEEE
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...
185
click to vote
TABLEAUX
2005
Springer
16 years 10 days 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...
156
click to vote
ICAISC
2004
Springer
16 years 7 days ago
2004
Springer
Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns ...
209
Voted
ASIAN
2003
Springer
16 years 2 days ago
2003
Springer
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...