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