Skip to main content
Computer Science
revision's user avatar
revision's user avatar
revision's user avatar
revision
  • Member for 1 year, 8 months
  • Last seen more than a week ago
Profile Activity
Stats
90
reputation
3k
reached
3
answers
10
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
Top tags
View all tags
2
Score
7
Posts
54
Posts %
2
Score
1
Posts
8
Posts %
1
Score
3
Posts
23
Posts %
1
Score
2
Posts
15
Posts %
0
Score
6
Posts
46
Posts %
0
Score
6
Posts
46
Posts %
Top posts
View all questions and answers
question
2
Can CTL* express every model's behaviour
May 3
answer
2
Given 2 Kripke structures M1 and M2, if there exists a simulation from M1 to M2 and a simulation from M2 to M1, is there a bisimulation from M1 to M2?
May 3
question
1
Product Construction for DFAs with different alphabets
Apr 24, 2023
question
1
LTL Model Checking Worst Case size for NBA
May 3
answer
1
How does the NFA decide in a state where there are multiple equally valid "next states"?
Apr 24, 2023
question
0
Proving a language is recursively enumerable
Apr 27, 2023
question
0
Clustered and Unclustered Indices non-key lookup costs and query plan
Apr 27
question
0
Linear Time properties classification
Apr 29
question
0
Irregular Safety Properties
May 3
question
0
ROBDDs heuristics for optimal variable ordering
May 3