Hazem Torfah

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Synthesizing approximate implementations for unrealizable specifications Computer Aided Verification	2024-02-16	Paper
Model checking quantitative hyperproperties Computer Aided Verification	2023-05-26	Paper
Probabilistic Hyperproperties of Markov Decision Processes 1517.68228	2022-12-22	Paper
Explainable Reactive Synthesis 1517.68223	2022-12-22	Paper
The Density of Linear-Time Properties Automated Technology for Verification and Analysis	2022-08-12	Paper
Runtime monitors for Markov decision processes (available as arXiv preprint)	2022-03-25	Paper
Approximate automata for omega-regular languages Automated Technology for Verification and Analysis	2020-07-20	Paper
Approximate automata for omega-regular languages Automated Technology for Verification and Analysis	2020-07-20	Paper
Synthesizing skeletons for reactive systems (available as arXiv preprint)	2018-10-25	Paper
The complexity of counting models of linear-time temporal logic Acta Informatica	2018-04-17	Paper
The complexity of counting models of linear-time temporal logic (available as arXiv preprint)	2017-04-25	Paper
Counting Models of Linear-Time Temporal Logic Language and Automata Theory and Applications	2014-03-31	Paper

Research outcomes over time

This page was built for person: Hazem Torfah