Title | The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems |
Publication Type | Conference Paper |
Year of Publication | 2018 |
Authors | Kress-Gazit, H, Torfah, H |
Conference Name | Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018 |
URL | https://doi.org/10.4204/EPTCS.286.5 |
DOI | 10.4204/EPTCS.286.5 |
Citation Key | Torfah2018 |