Items where authors include "Torfah, H."

Proceedings Paper

Dimitrova, R., Finkbeiner, B. and Torfah, H. (2019) Approximate automata for omega-regular languages. In: Chen, Y.-F., Cheng, C.-H. and Esparza, J., (eds.) Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019. Automated Technology for Verification and Analysis, 28-31 Oct 2019, Taipei, Taiwan. Lecture Notes in Computer Science (11781). Springer , pp. 334-349. ISBN 9783030317836

Dimitrova, R., Finkbeiner, B. and Torfah, H. (2019) Synthesizing approximate implementations for unrealizable specifications. In: Dillig, I. and Tasiran, S., (eds.) Computer Aided Verification - 31st International Conference, CAV 2019. Computer Aided Verification, 15-18 Jul 2019, New York City, NY, USA. Lecture Notes in Computer Science, 1 (11561). Springer , pp. 241-258. ISBN 9783030255398