2 papers
cs.AI2022
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…
cs.HC2020
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…