493 search results - page 9 / 99 » Alternating Weighted Automata |
199
click to vote
JUCS
2006
15 years 7 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 ...
182
Voted
FSTTCS
2009
Springer
16 years 2 months ago
2009
Springer
151
Voted
FOSSACS
2005
Springer
16 years 28 days ago
2005
Springer
151
Voted
WIA
2005
Springer
16 years 27 days ago
2005
Springer
