Hazem Torfah

Available identifiers

zbMath Open torfah.hazemMaRDI QIDQ832290

List of research outcomes

Publication	Date of Publication	Type
Synthesizing approximate implementations for unrealizable specifications	2024-02-16	Paper
Model checking quantitative hyperproperties	2023-05-26	Paper
Probabilistic Hyperproperties of Markov Decision Processes	2022-12-22	Paper
Explainable Reactive Synthesis	2022-12-22	Paper
The Density of Linear-Time Properties	2022-08-12	Paper
Runtime monitors for Markov decision processes	2022-03-25	Paper
Approximate Automata for Omega-Regular Languages	2020-07-20	Paper
Synthesizing skeletons for reactive systems	2018-10-25	Paper
The complexity of counting models of linear-time temporal logic	2018-04-17	Paper
The Complexity of Counting Models of Linear-time Temporal Logic	2017-04-25	Paper
Counting Models of Linear-Time Temporal Logic	2014-03-31	Paper

Research outcomes over time

This page was built for person: Hazem Torfah