32 citations · 149 across the 42 of their papers we have counts for
Showing 2014 · cs.LOShow all
2 papers · 2 filters
cs.LO2014★ 19 cited
Parametric Linear Dynamic Logic
Peter Faymonville, Martin Zimmermann
We introduce Parametric Linear Dynamic Logic (PLDL), which extends Linear Dynamic Logic (LDL) by temporal operators equipped with parameters that bound their scope. LDL was propose…
cs.LO2014
The Complexity of Counting Models of Linear-time Temporal Logic
Hazem Torfah, Martin Zimmermann
We determine the complexity of counting models of bounded size of specifications expressed in Linear-time Temporal Logic. Counting word models is #P-complete, if the bound is given…