Search Results - Jackermeier, Mathias

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    Cover Image

    DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL by Jackermeier, Mathias, Abate, Alessandro

    Published 2024
    Get full text
    Preprint

    Save to List
    Saved in:
  2. 2
    Cover Image

    Dual Box Embeddings for the Description Logic EL++ by Jackermeier, Mathias, Chen, Jiaoyan, Horrocks, Ian

    Published 2023
    Get full text
    Preprint

    Save to List
    Saved in:
  3. 3
    Cover Image

    Zero-Shot Instruction Following in RL via Structured LTL Representations by Giuri, Mattia, Jackermeier, Mathias, Abate, Alessandro

    Published 2025
    Get full text
    Preprint

    Save to List
    Saved in:
  4. 4
    Cover Image

    PlatoLTL: Learning to Generalize Across Symbols in LTL Instructions for Multi-Task RL by Cloete, Jacques, Jackermeier, Mathias, Havoutis, Ioannis, Abate, Alessandro

    Published 2026
    Get full text
    Preprint

    Save to List
    Saved in:
  5. 5
    Cover Image

    Probabilistic Performance Guarantees for Multi-Task Reinforcement Learning by Schnitzer, Yannik, Jackermeier, Mathias, Abate, Alessandro, Parker, David

    Published 2026
    Get full text
    Preprint

    Save to List
    Saved in:
  6. 6
    Cover Image

    Zero-Shot Instruction Following in RL via Structured LTL Representations by Jackermeier, Mathias, Giuri, Mattia, Cloete, Jacques, Abate, Alessandro

    Published 2026
    Get full text
    Preprint

    Save to List
    Saved in:
  7. 7
    Cover Image

    Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions by Abate, Alessandro, De Giacomo, Giuseppe, Jackermeier, Mathias, Kretínský, Jan, Prokop, Maximilian, Weinhuber, Christoph

    Published 2026
    Get full text
    Preprint

    Save to List
    Saved in:

Search Tools: