Publication:600

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