1167 search results - page 102 / 234 » A Really Temporal Logic |
168
click to vote
ARTS
1997
Springer
15 years 8 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
132
click to vote
FORMATS
2008
Springer
15 years 5 months ago
2008
Springer
This paper investigates the properties of Metric Temporal Logic (MTL) over models in which time is dense but phenomena are constrained to have bounded variability. Contrary to the ...
134
click to vote
JANCL
2007
15 years 4 months ago
2007
We propose a non-standard interpretation of Alternating-time Temporal Logic with imperfect information, for which no commonly accepted semantics has been proposed yet. Rather than ...
120
click to vote
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...
162
click to vote
AAAI
2011
14 years 4 months ago
2011
In this paper we examine the general problem of generating preferred explanations for observed behavior with respect to a model of the behavior of a dynamical system. This problem...