The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems

TitleThe Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems
Publication TypeConference Paper
Year of Publication2018
AuthorsKress-Gazit, H, Torfah, H
Conference NameProceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018
URLhttps://doi.org/10.4204/EPTCS.286.5
DOI10.4204/EPTCS.286.5
Citation KeyTorfah2018