The following pages link to (Q4910728):
Displaying 5 items.
- Weighted automata and weighted MSO logics for average and long-time behaviors (Q1932173) (← links)
- On weighted first-order logics with discounting (Q2453983) (← links)
- Facets of Synthesis: Revisiting Church’s Problem (Q3617717) (← links)
- Weighted versus Probabilistic Logics (Q3637211) (← links)
- A Weighted μ-Calculus on Words (Q3637241) (← links)