1.9k citations · 2.3k across the 9 of their papers we have counts for
10 papers
Generating Instructions at Different Levels of Abstraction
Arne Köhn, Julia Wichlacz, Álvaro Torralba +3
When generating technical instructions, it is often convenient to describe complex objects in the world at different levels of abstraction. A novice user might need an object expla…
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning -- Extended Version
Timo P. Gros, Daniel Höller, Jörg Hoffmann +1
Learning-based approaches for solving large sequential decision making problems have become popular in recent years. The resulting agents perform differently and their characterist…
Towards Automated Network Mitigation Analysis (extended)
Patrick Speicher, Marcel Steinmetz, Jörg Hoffmann +2
Penetration testing is a well-established practical concept for the identification of potentially exploitable security weaknesses and an important component of a security audit. Pr…
PriCL: Creating a Precedent A Framework for Reasoning about Privacy Case Law
Michael Backes, Fabian Bendun, Joerg Hoffmann +1
We introduce PriCL: the first framework for expressing and automatically reasoning about privacy case law by means of precedent. PriCL is parametric in an underlying logic for expr…
Analyzing Search Topology Without Running Any Search: On the Connection Between Causal Graphs and h+
Joerg Hoffmann
The ignoring delete lists relaxation is of paramount importance for both satisficing and optimal planning. In earlier work, it was observed that the optimal relaxation heuristic h+…
POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing
Carlos Sarraute, Olivier Buffet, Joerg Hoffmann
Penetration Testing is a methodology for assessing network security, by generating and executing possible hacking attacks. Doing so automatically allows for regular and systematic…