Computer Science
Profile Activity
Network profile
303
reputation
2
8

eyes enberg

Apparently, this user prefers to keep an air of mystery about them.

0
answers
15
questions
~9k
people reached
  • Member for 6 years, 2 months
  • 30 profile views
  • Last seen Aug 29 '16 at 2:50

Communities (7)

Top network posts

Top tags (18)

Score 0
Posts 11
Posts % 73
Score 0
Posts 4
Score 0
Posts 4
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 2
View all tags →

Top posts (15)

All Questions Answers
Votes Newest
6 Product of a Transition System and a Finite Automaton Apr 11 '15
3 A little confusion with the Knapsack problem (a worked example) Apr 17 '15
3 Description and semantics of program graphs Apr 8 '15
3 Modelling a basic sequential circuit as a transition system? Apr 4 '15
1 An algorithm to compute a set of states that satisfy a specific CTL formula Apr 24 '15
1 Some slight confusion with the UNTIL operator in CTL (e.g. a U b) Jan 6 '15
0 A linear temporal property that represents this (basic) execution? Apr 17 '15
0 Running the Double Tree Heuristic in a given graph - some slight confusion May 12 '15
0 Determining which states in a transition system satisfy a specific CTL formula [closed] Apr 27 '15
0 Basic linear programming question Jan 31 '15
View all questions and answers →

Badges (10)

Gold

—

Silver

2

Rarest

Bronze

8

Rarest

View all badges →