Helmut-Schmidt-University - Institute of Automation
- 16 followers
- Hamburg, Germany
- http://www.hsu-hh.de/aut
Pinned Loading
Repositories
Showing 10 of 54 repositories
- MPS500-Planning-Models Public
PDDL and SMT-based planning models for the MPS 500 system, covering both classical and temporal planning.
- PDDL-and-SMT-Metrics-Framework Public
Framework for analyzing PDDL and SMT models by defining metrics for assessing complexity and structure.
- ChatGptAbstractAnalyzer Public
-
- MODVA-Capabilities Public
A semantic capability model for modules of a modular process manufacturing plant