1167 search results - page 176 / 234 » A Really Temporal Logic |
128
click to vote
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
Parity games are 2-player games of perfect information and infinite duration that have important applications in automata theory and decision procedures (validity as well as model...
104
Voted
DSN
2008
IEEE
15 years 8 months ago
2008
IEEE
In this work, we characterize a significant source of software derating that we call instruction-level derating. Instruction-level derating encompasses the mechanisms by which co...
105
click to vote
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
ISCC
2007
IEEE
15 years 7 months ago
2007
IEEE
An optimally working mobile system requires tight cooperation and an information stream that flows impeccably between its components. This, however, is not the current state of t...
FORMATS
2007
Springer
15 years 7 months ago
2007
Springer
We identify a class of timed automata, which we call counter-free input-determined automata, which characterize the class of timed languages definable by several timed temporal l...