| EU Project | AI-SPRINT |
|---|---|
| EU Programme | |
| Internal ID | 585 |
| Publication Type | Conference proceedings |
| Title | A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic |
| Authors | Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry Gonz lez, Markus Kr tzsch, Maximilian Marx, Harish K Murali, Christoph Weidenbach |
| Year | 2022 |
| DOI | https://doi.org/10.1007/978-3-030-99524-9_27 |
| Research Category | Artificial Intelligence and Machine Learning Systems |