Publication:600: Difference between revisions
import>Unknown user No edit summary |
m 1 revision imported |
(No difference)
| |
Latest revision as of 11:07, 6 May 2026
| EU Project | AI-SPRINT |
|---|---|
| EU Programme | |
| Internal ID | 600 |
| Publication Type | Conference proceedings |
| Title | A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic |
| Authors | Martin Bromberger, Irina Dragoste, Rasha Faqeh (TUD), Christof Fetzer (TUD), Markus Kr tzsch (TUD), Christoph Weidenbach (TUD) |
| Year | 2021 |
| DOI | https://doi.org/10.1007/978-3-030-86205-3 |
| Research Category | Artificial Intelligence and Machine Learning Systems |