The following pages link to Handbook of weighted automata (Q836989):
Displaying 50 items.
- A connection between concurrency and language theory (Q265802) (← links)
- The universal fuzzy automaton (Q279373) (← links)
- Network-formation games with regular objectives (Q342715) (← links)
- Weighted finite automata over hemirings (Q388788) (← links)
- Coping with selfish on-going behaviors (Q418112) (← links)
- A coalgebraic perspective on linear weighted automata (Q418134) (← links)
- On algebra of languages representable by vertex-labeled graphs (Q418730) (← links)
- Modal transition systems with weight intervals (Q444490) (← links)
- Multi-weighted automata and MSO logic (Q504993) (← links)
- Structural operational semantics for non-deterministic processes with quantitative aspects (Q507377) (← links)
- Determinization of fuzzy automata via factorization of fuzzy states (Q508600) (← links)
- Dynamical systems in categories (Q513904) (← links)
- Weighted automata and logics for infinite nested words (Q515684) (← links)
- Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics (Q518606) (← links)
- An improved algorithm for determinization of weighted and fuzzy automata (Q543822) (← links)
- A Kleene-Schützenberger theorem for weighted timed automata (Q631775) (← links)
- The compositional construction of Markov processes (Q633811) (← links)
- Synthesis from component libraries with costs (Q683714) (← links)
- Quantitative simulations by matrices (Q729815) (← links)
- Weighted automata and multi-valued logics over arbitrary bounded lattices (Q764336) (← links)
- Decidability, undecidability, and PSPACE-completeness of the twins property in the tropical semiring (Q764364) (← links)
- A characterization of rational D0L power series (Q766157) (← links)
- Matching regular expressions on uncertain data (Q832529) (← links)
- Integer weighted automata on infinite words (Q832935) (← links)
- Weighted automata and weighted logics with discounting (Q840767) (← links)
- Definable transductions and weighted logics for texts (Q844894) (← links)
- Weighted finite automata over strong bimonoids (Q845343) (← links)
- Concurrent weighted logic (Q890620) (← links)
- Convergence of Newton's method over commutative semirings (Q899320) (← links)
- Weighted monadic Datalog (Q944376) (← links)
- Determinization of weighted finite automata over strong bimonoids (Q991892) (← links)
- Alternating weighted automata over commutative semirings (Q1637338) (← links)
- Quantitative monitoring of STL with edit distance (Q1667648) (← links)
- \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics (Q1683708) (← links)
- Generalization bounds for learning weighted automata (Q1704563) (← links)
- Copyless cost-register automata: structure, expressiveness, and closure properties (Q1740663) (← links)
- Generating permutations with restricted containers (Q1747767) (← links)
- Idempotence of finitely generated commutative semifields (Q1756674) (← links)
- CTL\(^\ast\) with graded path modalities (Q1784942) (← links)
- Weighted register automata and weighted logic on data words (Q1786559) (← links)
- Toward an algebraic theory of systems (Q1786609) (← links)
- A unifying survey on weighted logics and weighted automata. Core weighted logic: minimal and versatile specification of quantitative properties (Q1797777) (← links)
- Weighted restarting automata (Q1797778) (← links)
- On decidability of recursive weighted logics (Q1797779) (← links)
- A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata (Q1797781) (← links)
- On deterministic weighted automata (Q1799611) (← links)
- Weighted automata and weighted MSO logics for average and long-time behaviors (Q1932173) (← links)
- On the supports of recognizable series over a field and a single letter alphabet (Q1944212) (← links)
- Better complexity bounds for cost register automata (Q1999991) (← links)
- A unifying approach to algebraic systems over semirings (Q2000006) (← links)