PURPLE Unified Planning Interface
This asset provides the interfacing between the PURPLE engine and the Unified Planning framework developed by the AIPlan4EU project.
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:
This asset provides the interfacing between the PURPLE engine and the Unified Planning framework developed by the AIPlan4EU project.
Data preprocessing, Feature Engineering, Model Development, Evaluation & Selection for Predictive Maintenance in Manufacturing. Part of the development of this asset was supported by the AI REGIO project, which has received funding from the European U...
State-of-the-art solver for logic programming under the answer set semantics.
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.
Verifiable and Explainable RIsk Forecasting Artificial Intelligence Framework
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 ...
Provide a large (1 terabytes) Covid-19 chest CT-scan Dataset
Federated training of Graph Neural Networks (GNNs) with Local Differential Privacy
Introducing ESFA (Empirical Season Forecast for Agriculture) – your reliable companion in long-term agricultural planning. Our validated AI algorithms, which outperform other state-of-the-art climate prediction models, are at the core of ESFA's capabiliti...
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.