52 citations · 113 across the 8 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
eess.SY2017★ 1 cited
Quantitative Implementation Strategies for Safety Controllers
Philipp J. Meyer, Matthias Rungger, Michael Luttenberger +2
We consider the symbolic controller synthesis approach to enforce safety specifications on perturbed, nonlinear control systems. In general, in each state of the system several con…
cs.FL2017
Computing the longest common prefix of a context-free language in polynomial time
Michael Luttenberger, Raphaela Palenta, Helmut Seidl
We present two structural results concerning longest common prefixes of non-empty languages. First, we show that the longest common prefix of the language generated by a context-fr…