Skip to main content

Showing 1–6 of 6 results for author: Steinmetz, M

Searching in archive cs. Search in all archives.
.
  1. arXiv:2403.17826  [pdf, ps, other

    cs.AI

    On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification: Technical Report

    Authors: Gregor Behnke, Marcel Steinmetz

    Abstract: Stackelberg planning is a recently introduced single-turn two-player adversarial planning model, where two players are acting in a joint classical planning task, the objective of the first player being hampering the second player from achieving its goal. This places the Stackelberg planning problem somewhere between classical planning and general combinatorial two-player games. But, where exactly?… ▽ More

    Submitted 26 March, 2024; originally announced March 2024.

    Comments: Presented at ICAPS24

  2. arXiv:2203.09361  [pdf, other

    cs.AI cs.CC cs.LO

    Expressivity of Planning with Horn Description Logic Ontologies (Technical Report)

    Authors: Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz

    Abstract: 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-world state constraints formalized by planning over a description logic (DL) ontology. Previously, this combination of DL and planning has been investigated for the light-weight DL DL-Lite. Here we propose a novel compila… ▽ More

    Submitted 17 March, 2022; originally announced March 2022.

    Comments: 16 pages with appendix

    MSC Class: 68 ACM Class: I.2.4; I.2.8

  3. arXiv:2010.10967  [pdf, other

    cs.HC

    Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems

    Authors: Frederik Wiehr, Anke Hirsch, Florian Daiber, Antonio Kruger, Alisa Kovtunova, Stefan Borgwardt, Ernie Chang, Vera Demberg, Marcel Steinmetz, Hoffmann Jorg

    Abstract: 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 propose a concept to provide technological support that uses formal methods from AI -- description logic (DL) and automated planning -- to predict more reliably when a hand-over is necessary, and to increase the advance… ▽ More

    Submitted 21 October, 2020; originally announced October 2020.

    Comments: In Proceedings of Workshop at CHI

  4. arXiv:1705.05088  [pdf, other

    cs.CR cs.AI

    Towards Automated Network Mitigation Analysis (extended)

    Authors: Patrick Speicher, Marcel Steinmetz, Jörg Hoffmann, Michael Backes, Robert Künnemann

    Abstract: Penetration testing is a well-established practical concept for the identification of potentially exploitable security weaknesses and an important component of a security audit. Providing a holistic security assessment for networks consisting of several hundreds hosts is hardly feasible though without some sort of mechanization. Mitigation, prioritizing counter-measures subject to a given budget,… ▽ More

    Submitted 4 January, 2019; v1 submitted 15 May, 2017; originally announced May 2017.

    Comments: Cleaned up presentation to focus on mitigation analysis in simulated pentesting. Stackelberg planning in a more general scope and the algorithm proposed in v1 are extended and discussed in more detail in Speicher et.al.: Stackelberg Planning: Towards Effective Leader-Follower State Space Search, AAAI'18

  5. arXiv:1109.0003  [pdf, other

    astro-ph.CO astro-ph.IM cs.DB

    The MultiDark Database: Release of the Bolshoi and MultiDark Cosmological Simulations

    Authors: Kristin Riebe, Adrian M. Partl, Harry Enke, Jaime Forero-Romero, Stefan Gottloeber, Anatoly Klypin, Gerard Lemson, Francisco Prada, Joel R. Primack, Matthias Steinmetz, Victor Turchaninov

    Abstract: We present the online MultiDark Database -- a Virtual Observatory-oriented, relational database for hosting various cosmological simulations. The data is accessible via an SQL (Structured Query Language) query interface, which also allows users to directly pose scientific questions, as shown in a number of examples in this paper. Further examples for the usage of the database are given in its exte… ▽ More

    Submitted 2 September, 2011; v1 submitted 31 August, 2011; originally announced September 2011.

    Comments: 28 pages, 9 figures, submitted to New Astronomy

  6. arXiv:1007.4053  [pdf, other

    cs.DC astro-ph.IM cs.DB cs.NI

    AstroGrid-D: Grid Technology for Astronomical Science

    Authors: Harry Enke, Matthias Steinmetz, Hans-Martin Adorf, Alexander Beck-Ratzka, Frank Breitling, Thomas Bruesemeister, Arthur Carlson, Torsten Ensslin, Mikael Hoegqvist, Iliya Nickelt, Thomas Radke, Alexander Reinefeld, Angelika Reiser, Tobias Scholl, Rainer Spurzem, Juergen Steinacker, Wolfgang Voges, Joachim Wambsganss, Steve White

    Abstract: We present status and results of AstroGrid-D, a joint effort of astrophysicists and computer scientists to employ grid technology for scientific applications. AstroGrid-D provides access to a network of distributed machines with a set of commands as well as software interfaces. It allows simple use of computer and storage facilities and to schedule or monitor compute tasks and data management. It… ▽ More

    Submitted 23 July, 2010; originally announced July 2010.

    Comments: 14 pages, 12 figures Subjects: data analysis, image processing, robotic telescopes, simulations, grid. Accepted for publication in New Astronomy

    Journal ref: New Astron.16:79-93,2011