The following pages link to Hazem Torfah (Q832290):
Displayed 9 items.
- Runtime monitors for Markov decision processes (Q832291) (← links)
- The complexity of counting models of linear-time temporal logic (Q1745344) (← links)
- Synthesizing skeletons for reactive systems (Q1990512) (← links)
- The Complexity of Counting Models of Linear-time Temporal Logic (Q2978517) (← links)
- Approximate Automata for Omega-Regular Languages (Q3297599) (← links)
- The Density of Linear-Time Properties (Q5096080) (← links)
- Counting Models of Linear-Time Temporal Logic (Q5404927) (← links)
- Model checking quantitative hyperproperties (Q6045002) (← links)
- Synthesizing approximate implementations for unrealizable specifications (Q6194576) (← links)