4 citations · 5 across the 3 of their papers we have counts for
3 papers
Expressivity of Planning with Horn Description Logic Ontologies (Technical Report)
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova +3
State constraints in AI Planning globally restrict the legal environment states. Standard planning languages make closed-domain and closed-world assumptions. Here we address open-w…
Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems
Frederik Wiehr, Anke Hirsch, Florian Daiber +7
For mixed-initiative control between cyber-physical systems (CPS) and its users, it is still an open question how machines can safely hand over control to humans. In this work, we…
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…