Computer Science
eyes enberg's user avatar
eyes enberg's user avatar
eyes enberg's user avatar
eyes enberg
  • Member for 8 years, 11 months
  • Last seen more than 7 years ago
Profile Activity
Stats
303
reputation
12k
reached
0
answers
15
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
9
bronze badges
Top tags
View all tags
0
Score
11
Posts
73
Posts %
0
Score
4
Posts
27
Posts %
0
Score
4
Posts
27
Posts %
0
Score
2
Posts
13
Posts %
0
Score
2
Posts
13
Posts %
0
Score
2
Posts
13
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
6
Product of a Transition System and a Finite Automaton
Apr 11, 2015
question
3
Modelling a basic sequential circuit as a transition system?
Apr 4, 2015
question
3
Description and semantics of program graphs
Apr 8, 2015
question
3
A little confusion with the Knapsack problem (a worked example)
Apr 17, 2015
question
1
Some slight confusion with the UNTIL operator in CTL (e.g. a U b)
Jan 6, 2015
question
1
An algorithm to compute a set of states that satisfy a specific CTL formula
Apr 24, 2015
question
0
Computing FOLLOW sets for LL(1) grammar. Stuck on question
Dec 28, 2014
question
0
Given this transition system, for which states are these (very basic) LTL formulas fulfilled?
Jan 2, 2015
question
0
Applying DFS algorithm to a transition system to find reachable states
Jan 7, 2015
question
0
Defining a new (informal) operator in CTL
Jan 12, 2015
Top network posts
View all network posts
13
RuntimeException when taking a picture using custom camera - "takePicture failed"
9
Camera preview is fine but front camera produces very dark photos
6
How do you display Calendar's in Java in a human-readable way?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.