Sciweavers

122 search results - page 1 / 25
» Weighted automata with discounting
Sort
View
WIA
2007
Springer
13 years 9 months ago
Weighted Automata and Weighted Logics with Discounting
We introduce a weighted logic with discounting and we establish B¨uchi’s and Elgot’s theorem for weighted automata over finite words and arbitrary commutative semirings. The...
Manfred Droste, George Rahonis
IPL
2008
95views more  IPL 2008»
13 years 3 months ago
Weighted automata with discounting
: We investigate weighted automata with discounting and their behaviours over semirings and finitely generated graded monoids. We characterize the discounted behaviours of weighted...
Manfred Droste, Jacques Sakarovitch, Heiko Vogler
FCT
2009
Springer
13 years 10 months ago
Alternating Weighted Automata
Weighted automata are finite automata with numerical weights on transitions. Nondeterministic weighted automata define quantitative languages L that assign to each word w a real ...
Krishnendu Chatterjee, Laurent Doyen, Thomas A. He...
CSL
2008
Springer
13 years 5 months ago
Quantitative Languages
Quantitative generalizations of classical languages, which assign to each word a real number instead of a boolean value, have applications in modeling resource-constrained computat...
Krishnendu Chatterjee, Laurent Doyen, Thomas A. He...
CONCUR
2009
Springer
13 years 10 months ago
Probabilistic Weighted Automata
Nondeterministic weighted automata are finite automata with numerical weights on transitions. They define quantitative languages L that assign to each word w a real number L(w). ...
Krishnendu Chatterjee, Laurent Doyen, Thomas A. He...