Export 1 results:
Author Keyword Title Type [ Year(Asc)]
Filters: Author is Hazem Torfah  [Clear All Filters]
H. Kress-Gazit and Torfah, H., The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems, in Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018, 2018.