279 search results - page 7 / 56 » Timed Temporal Logics for Abstracting Transient States |
110
click to vote
CDC
2009
IEEE
14 years 10 months ago
2009
IEEE
Abstract-- We consider the problem of controlling a discretetime piecewise affine (PWA) system from a specification given as a Linear Temporal Logic (LTL) formula over linear predi...
92
Voted
CONCUR
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...
114
Voted
KR
2010
Springer
15 years 4 months ago
2010
Springer
We investigate a class of first-order temporal epistemic logics for the specification of multi-agent systems. We consider well-known properties of multi-agent systems including ...
116
click to vote
DAC
1995
ACM
15 years 4 months ago
1995
ACM
Our goal is to transform a low-level circuit design into a more representation. A pre-existing tool, Tranalyze [4], takes a switch-level circuit and generates a functionally equiv...
114
Voted
CORR
2002
Springer
15 years 8 days ago
2002
Springer
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...