274 search results - page 2 / 55 » Weighted Automata and Weighted Logics |
DLT
2009
13 years 3 months ago
2009
While a mature theory around logics such as MSO, LTL, and CTL has been developed in the pure boolean setting of finite automata, weighted automata lack such a natural connection wi...
ICALP
2010
Springer
13 years 10 months ago
2010
Springer
TCS
2010
13 years 1 days ago
2010
A text is a word together with an additional linear order on it. We study quantitative models for texts, i.e. text series which assign to texts elements of a semiring. We introduc...
FORMATS
2009
Springer
13 years 12 months ago
2009
Springer
Recently, the model of weighted timed automata has gained interest within the real-time community. In a previous work, we built a bridge to the theory of weighted automata and intr...
LFCS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We consider weighted o-minimal hybrid systems, which extend classical o-minimal hybrid systems with cost functions. These cost functions are “observer variables” whic...