7 citations · 19 across the 13 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015
Visibly Linear Dynamic Logic
Alexander Weinert, Martin Zimmermann
We introduce Visibly Linear Dynamic Logic (VLDL), which extends Linear Temporal Logic (LTL) by temporal operators that are guarded by visibly pushdown languages over finite words.…
cs.LO2015★ 5 cited
Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time
Leander Tentrup, Alexander Weinert, Martin Zimmermann
We consider the optimization variant of the realizability problem for Prompt Linear Temporal Logic, an extension of Linear Temporal Logic (LTL) by the prompt eventually operator wh…