493 search results - page 9 / 99 » Alternating Weighted Automata |
150
click to vote
JUCS
2006
15 years 5 months ago
2006
: In this paper we describe a technique for monitoring and checking temporal logic assertions augmented with real-time and time-series constraints, or Metric Temporal Logic Series ...
130
Voted
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
110
Voted
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
107
Voted
WIA
2005
Springer
15 years 10 months ago
2005
Springer
114
Voted
FSTTCS
2004
Springer
15 years 10 months ago
2004
Springer
