Computer Science
SimonJ's user avatar
SimonJ's user avatar
SimonJ's user avatar
SimonJ
  • Member for 5 years, 6 months
  • Last seen more than 1 year ago
Profile Activity
Stats
134
reputation
2k
reached
6
answers
0
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
3
bronze badges
Top tags
View all tags
10
Score
4
Posts
67
Posts %
9
Score
3
Posts
50
Posts %
9
Score
2
Posts
33
Posts %
1
Score
2
Posts
33
Posts %
1
Score
1
Posts
17
Posts %
1
Score
1
Posts
17
Posts %
Top posts
All Questions Answers
Score Newest
answer
6
LTL to automaton translation that can only read disjunctions of labels per transition
Mar 30, 2018
answer
3
LTL to Büchi automaton, deterministic?
Feb 25, 2019
answer
1
Understanding SLDNF-forest
Sep 25, 2018
answer
1
Semantics of E and A operators in CTL*
Jun 24, 2019
answer
0
The set of valid sentences in FO is not decidable as a consequence of rec. inseparability
Apr 3, 2018
answer
0
Proving the equivalence of an LTL and a CTL formula
Jun 29, 2018

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.