Network profile

Ahmed Nassar

Reputation

163

Top tag

temporal-logic

250 Rep.

View close votes

Scholar

0/1

0 posts edited

0 helpful flags

5 votes cast

5	Less known graphical representations of Boolean functions
1	Regular safety properties and bad prefixes of $\omega$-regular properties
0	Approximating liveness properties with safety properties

This user has no recent positive reputation changes

This user has not answered any questions

Stack Overflow	4,063 rep	2 gold badges15 silver badges23 bronze badges
Mathematics	221 rep	1 silver badge6 bronze badges
Theoretical Computer Science	163 rep	5 bronze badges
TeX - LaTeX	121 rep	3 bronze badges
Computer Science	121 rep	4 bronze badges