research
∙
06/13/2022
Specifying and Testing k-Safety Properties for Machine-Learning Models
Machine-learning models are becoming increasingly prevalent in our lives...
share
research
∙
03/17/2022
Expressivity of Planning with Horn Description Logic Ontologies (Technical Report)
State constraints in AI Planning globally restrict the legal environment...
research
∙
07/05/2021
An Explainable AI System for the Diagnosis of High Dimensional Biomedical Data
Typical state of the art flow cytometry data samples consists of measure...
research
∙
11/19/2020
Iterative Planning with Plan-Space Explanations: A Tool and User Study
In a variety of application settings, the user preference for a planning...
research
∙
10/08/2020
Generating Instructions at Different Levels of Abstraction
When generating technical instructions, it is often convenient to descri...
research
∙
08/03/2020
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning – Extended Version
Learning-based approaches for solving large sequential decision making p...
research
∙
05/15/2017
Simulated Penetration Testing and Mitigation Analysis
Penetration testing is a well-established practical concept for the iden...
research
∙
01/15/2014
