2 papers
cs.FL2017
Liveness Verification and Synthesis: New Algorithms for Recursive Programs
Roland Meyer, Sebastian Muskalla, Elisabeth Neumann
We consider the problems of liveness verification and liveness synthesis for recursive programs. The liveness verification problem (LVP) is to decide whether a given omega-context-…
cs.DS2016
Median-of-k Jumplists and Dangling-Min BSTs
Markus E. Nebel, Elisabeth Neumann, Sebastian Wild
We extend randomized jumplists introduced by Brönnimann et al. (STACS 2003) to choose jump-pointer targets as median of a small sample for better search costs, and present randomiz…