Skip to main content Skip to main navigation

Publications

Displaying results 1481 to 1490 of 2310.

  1. Antonia Wüst; Wolfgang Stammer; Quentin Delfosse; Devendra Singh Dhami; Kristian Kersting

    Pix2Code: Learning to Compose Neural Visual Concepts as Programs

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2402.08280, Pages 1-24, arxiv, 2024.

  2. Carlo D'Eramo; Davide Tateo; Andrea Bonarini; Marcello Restelli; Jan Peters

    Sharing Knowledge in Multi-Task Deep Reinforcement Learning

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2401.09561, Pages 1-18, arXiv, 2024.

  3. Kevin Daun; Frederik Bark; Davide Tateo; Jan Peters; Johannes Heinlein; Janine Wendt; Nils Heidemann; Ivana Kruijff-Korbayová; Stefan Kohlbrecher; Jens Friedrich; Désirée Martin; Michael W. Schmidt; Rafaela Hillerbrand; Oskar von Stryk

    A Holistic Concept on AI Assistance for Robot-Supported Reconnaissance and Mitigation of Acute Radiation Hazard Situations

    In: IEEE International Symposium on Safety Security Rescue Robotics, SSRR 2024, New York, NY, USA, November 12-14, 2024. IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR), Pages 40-45, IEEE, 2024.

  4. Tianyu Ren; Georgia Chalvatzaki; Jan Peters

    Extended Tree Search for Robot Task and Motion Planning

    In: IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2024, Abu Dhabi, United Arab Emirates, October 14-18, 2024. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Pages 12048-12055, IEEE, 2024.

  5. Michael Backenköhler; Luca Bortolussi; Gerrit Großmann; Verena Wolf

    Analysis of Markov jump processes under terminal constraints

    In: Jan Friso Groote; Kim Guldstrand Larsen; (Hrsg.). Tools and Algorithms for the Construction and Analysis of Systems. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2021), 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, March 27 - April 1, Luxembourg City, Luxembourg, Pages 210-229, Vol. 12651, ISBN 978-3-030-72016-2, Springer, Switzerland, 3/2021.

  6. Gerrit Großmann; Michael Backenköhler; Verena Wolf

    Epidemic overdispersion strengthens the effectiveness of mobility restrictions

    In: HSCC '21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control. ACM International Conference on Hybrid Systems: Computation and Control (HSCC-2021), May 19-21, Nashville, Tennesse, USA, Pages 1-3, ISBN 978-1-4503-8339-4, ACM, New York, NY, 5/2021.

  7. Gerrit Großmann; Michael Backenköhler; Verena Wolf

    Heterogeneity matters: Contact structure and individual variation shape epidemic dynamics

    In: Vygintas Gontis (Hrsg.). PLOS One, Vol. 16, No. 7, Pages 1-19, Public Library of Science, 7/2021.

  8. Charalampos Kyriakopoulos; Karl Nordström; Paula Linh Kramer; Judith Yumiko Gottfreund; Abdulrahman Salhab; Julia Arand; Fabian Müller; Ferdinand von Meyenn; Gabriella Ficz; Wolf Reik; Verena Wolf; Jörn Walter; Pascal Giehr

    A comprehensive approach for genome-wide efficiency profiling of DNA modifying enzymes

    In: Cell Reports Methods, Vol. 2, No. 3, Pages 1-23, Cell Press, 3/2022.

  9. Timo P. Gros; Arnd Hartmanns; Ivo Hoese; Joshua Meyer; Nicola Müller; Verena Wolf

    PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface

    In: Pavithra Prabhakar; Andrea Vandin (Hrsg.). Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, Proceedings. International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (QEST+FORMATS-2025), August 26-28, Aarhus, Denmark, Pages 134-156, Lecture Notes in Computer Science (LNCS), Vol. 16143, ISBN 978-3-032-05791-4, Springer Nature, Switzerland, 10/2025.

  10. Gerrit Großmann; Michael Backenköhler; Verena Wolf

    Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study

    In: Marco Gribaudo; David N. Jansen; Anne Remke (Hrsg.). Quantitative Evaluation of Systems. International Conference on Quantitative Evaluation of Systems (QEST-2020), 17th International Conference, QEST 2020, October 31 - September 1, Vienna, Austria, Pages 211-229, Vol. 12289, ISBN 9783030598549, Springer International Publishing, Switzerland, 9/2020.

Year

More options