1860 search results - page 114 / 372 » A Temporal Logic of Robustness |
116
Voted
CADE
2006
Springer
16 years 29 days ago
2006
Springer
Access-control policies have grown from simple matrices to non-trivial specifications written in sophisticated languages. The increasing complexity of these policies demands corres...
84
Voted
FSTTCS
2009
Springer
15 years 7 months ago
2009
Springer
We address the problem of alternating simulation refinement for concurrent timed games (TG). We show that checking timed alternating simulation between TG is EXPTIME-complete, and...
131
click to vote
ARTS
1997
Springer
15 years 4 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...
100
Voted
FORMATS
2008
Springer
15 years 2 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 ...
104
Voted
JANCL
2007
15 years 16 days 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 ...