Asset Type
Docker container
Clingo Answer Set Solver
State-of-the-art solver for logic programming under the answer set semantics.
Verifiable AI
The Verifiable AI objectives are organized in four open research questions that constitute four dimensions of the grand challenge resulting from the emergent use of AI in safety-critical applications. These four dimensions also represent the natural way to organize the background material on Verifiable AI:
- Dependability with AI: how to design and verify dependable and secure systems that include unverifiable AI components?
- Dependability of AI: how to verify the dependability and security of AI components themselves (i.e., domain-independent inference engines, as well as knowledge bases either machine learned from data or manually encoded by human domain experts)?
- AI for dependability: which AI techniques can be themselves leveraged to automate the design and verification of systems that include unverified AI components?
- Meta-AI dependability: which AI techniques can be themselves leveraged to automate the design and verification of AI components (meta-AI)?
Asset Type
Docker container
VERIFAI
Verifiable and Explainable RIsk Forecasting Artificial Intelligence Framework
Asset Type
Docker container
Wumpus World Simulator
REST web service simulating the Wumpus World intelligent agent environment popularised by Russell & Norvig's seminal textbook Artificial Intelligence: A Modern Approach.
Asset Type
Dataset
Vibration sensor measurements in a robotic pump
A data set of 380 million measurements from a hydraulic pump that can be mounted on an industrial robot, for example, to pump liquid paint for spray painting. The data set spans two months in 1-second intervals.
Asset Type
Jupyter Notebook
Predictive Maintenance using Machine Learning
Data preprocessing, Feature Engineering, Model Development, Evaluation & Selection for Predictive Maintenance in Manufacturing.
Asset Type
Dataset
Vibration sensor measurements in a robotic wrist
A data set of 1.8 billion measurements from a mechanical wrist with three axes that can hold tools, for example, for spray painting in combination with a pump. The data set spans six months in 1-second intervals.
Asset Type
Docker container
COOLAPS Application Base
This repository contains the base components necessary to bootstrap your own Constraint Object-Oriented Logic Action Programming as a Service (COOLAPS) application docker container.
Asset Type
Jupyter Notebook
Locally Private Graph Neural Networks
Federated training of Graph Neural Networks (GNNs) with Local Differential Privacy
Asset Type
Docker container
Fraunhofer uncertainty metrics for classification tasks
Dockerized AI4EU Acumos component for uncertainty estimation for classification networks
Asset Type
ML Model
Platform-as-a-service for accountable evidential transactions
In the domains of aeronautics, automotive, energy, manufacturing and retail, Munich Innovation Hub for Applied AI proposes novel solutions to counter the complexity and dependability challenges resulting from distributed accountability, the need for more ...
Asset Type
Executable
Dezyne
Dezyne is a programming language and a set of tools to specify, validate, verify, simulate, document, and implement concurrent control software for embedded and cyber-physical systems.