Skip to main content Skip to main navigation

Publications

Displaying results 841 to 850 of 14486.

  1. Wolfgang Stammer; Antonia Wüst; David Steinmann; Kristian Kersting

    Neural Concept Binder

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

  2. Jingyuan Sha; Hikaru Shindo; Quentin Delfosse; Kristian Kersting; Devendra Singh Dhami

    EXPIL: Explanatory Predicate Invention for Learning in Games

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

  3. Lukas Helff; Felix Friedrich; Manuel Brack; Kristian Kersting; Patrick Schramowski

    LLavaGuard: VLM-based Safeguards for Vision Dataset Curation and Safety Assessment

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

  4. Quentin Delfosse; Jannis Blüml; Bjarne Gregori; Kristian Kersting

    HackAtari: Atari Learning Environments for Robust and Continual Reinforcement Learning

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

  5. Simon Kohaut; Benedict Flade; Devendra Singh Dhami; Julian Eggert; Kristian Kersting

    Mission Design for Unmanned Aerial Vehicles using Hybrid Probabilistic Logic Program

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

  6. Fatemeh Shirinzadeh; Kamalika Datta; Saeideh Shirinzadeh; Abhoy Kole; Rolf Drechsler

    Towards Formal Verification for MAC-based In-Memory Computing

    In: 33th IEEE Asian Test Symposium (ATS 2024). Asian Test Symposium (ATS-2025), December 17-20, Ahmedabad, India, 2024.

  7. Sören Tempel; Tobias Brandt; Christoph Lüth; Christian Dietrich; Rolf Drechsler

    Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31 - April 2, Lyon, France, 2025.

  8. Dev Narayan Yadav; Phrangboklang Lyngton Thangkhiew; F Lalchhandama; Kamalika Datta; Rolf Drechsler; Indranil Sengupta

    Improving Self-Fault-Tolerance Capability of Memristor Crossbar Using a Weight-Sharing Approach

    In: 33th IEEE Asian Test Symposium (ATS 2024). Asian Test Symposium (ATS-2024), December 17-20, Ahmedabad, India, 2024.

  9. Yousef Koka

    Learn2Clean Event Data

    Mastersthesis, German University in Cairo, 8/2024.

  10. Rolf Drechsler; Christina Plump; Martha Schnieber

    The Future is Hybrid: Next Generation Data Structures for Formal Verification

    In: Rolf Drechsler; Christina Plump; Martha Schnieber (Hrsg.). 33th IEEE Asian Test Symposium (ATS 2024). Asian Test Symposium (ATS-2025), December 17-20, Ahmedabad, India, 2024.

Year

More options