Pinned Loading

1. hai-cpps-benchmark hai-cpps-benchmark Public

   This repository contains the simulation models and links to the datasets for the Hamburg AI Benchmark for anomaly detection, diagnosis, reconfiguration, and planning.

   Modelica 7 1

2. nns-for-input-reconstruction nns-for-input-reconstruction Public

   This repo contains the code to reconstruct missing inputs of neural networks, using backpropagation.

   Python

3. gcmdqn gcmdqn Public

   Python

4. icaps25-tutorial-nn-enriched-planning-with-smt icaps25-tutorial-nn-enriched-planning-with-smt Public

   Forked from imb-hsu/icaps25-tutorial-nn-enriched-planning-with-smt

   This is the repository for the 2025 ICAPS tutorial on neural network enriched planning with Satisfiability Modulo Theory