Picture for Mathias Jackermeier

Mathias Jackermeier

DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications

Add code
Oct 06, 2024
Viaarxiv icon

Box$^2$EL: Concept and Role Box Embeddings for the Description Logic EL++

Add code
Feb 02, 2023
Viaarxiv icon

dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts

Add code
Jan 15, 2021
Figure 1 for dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts
Figure 2 for dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts
Figure 3 for dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts
Figure 4 for dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts
Viaarxiv icon

dtControl: Decision Tree Learning Algorithms for Controller Representation

Add code
Feb 12, 2020
Figure 1 for dtControl: Decision Tree Learning Algorithms for Controller Representation
Figure 2 for dtControl: Decision Tree Learning Algorithms for Controller Representation
Figure 3 for dtControl: Decision Tree Learning Algorithms for Controller Representation
Figure 4 for dtControl: Decision Tree Learning Algorithms for Controller Representation
Viaarxiv icon