papers
Publications (3)
cs.LO2016
Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete
Matthias Englert, Ranko LaziÄ, Patrick Totzke
cs.DS2014
Vertex Sparsifiers: New Results from Old Techniques
Matthias Englert, Anupam Gupta, Robert Krauthgamer +3
cs.CY2014
Logical Limitations to Machine Ethics with Consequences to Lethal Autonomous Weapons
Matthias Englert, Sandra Siebert, Martin Ziegler