1860 search results - page 39 / 372 » A Temporal Logic of Robustness |
76
Voted
AAAI
2006
15 years 2 months ago
2006
98
Voted
AIPS
2004
15 years 2 months ago
2004
This paper considers the problem of generating partial order schedules (
52
Voted
SIGIR
2002
ACM
15 years 10 days ago
2002
ACM
101
Voted
FSTTCS
2009
Springer
15 years 7 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
120
Voted
LPAR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic thanks to ...