3 citations · 5 across the 5 of their papers we have counts for
1 paper · 2 filters
Manfred Droste, George Rahonis
We introduce a weighted linear dynamic logic (weighted LDL for short) and show the expressive equivalence of its formulas to weighted rational expressions. This adds a new characte…