| 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 |