Pages that link to "Item:Q3503896"
From MaRDI portal
The following pages link to Weighted Automata and Weighted Logics with Discounting (Q3503896):
Displaying 12 items.
- A Büchi-like theorem for weighted tree automata over multioperator monoids (Q692910) (← links)
- Weighted automata and weighted logics with discounting (Q840767) (← links)
- Definable transductions and weighted logics for texts (Q844894) (← links)
- Weighted automata with discounting (Q963467) (← links)
- A unifying survey on weighted logics and weighted automata. Core weighted logic: minimal and versatile specification of quantitative properties (Q1797777) (← links)
- Weighted automata and weighted MSO logics for average and long-time behaviors (Q1932173) (← links)
- Weighted logics for unranked tree automata (Q2429720) (← links)
- Weighted versus Probabilistic Logics (Q3637211) (← links)
- Weighted Automata and Weighted Logics (Q5072547) (← links)
- Model Checking Linear-Time Properties of Probabilistic Systems (Q5072555) (← links)
- On the comparison of discounted-sum automata with multiple discount factors (Q6091205) (← links)
- Weighted automata and logics meet computational complexity (Q6647756) (← links)