Skip to main content
Computer Science
user3121260's user avatar
user3121260's user avatar
user3121260's user avatar
user3121260
  • Member for 6 years, 7 months
  • Last seen more than 1 year ago
Profile Activity
Stats
41
reputation
1k
reached
3
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.
1
bronze badge
Top tags
4
Score
3
Posts
100
Posts %
4
Score
3
Posts
100
Posts %
4
Score
1
Posts
33
Posts %
Top posts
answer
4
Equivalence rules for LTL - Getting stuck working with $ \square \lozenge $ & Until ($\textsf{ U}$ ) operators
May 13, 2018
answer
0
Validity of □(P→ Q) → (◊P → ◊Q) in linear temporal logic
Mar 21, 2019
answer
0
Translating Natural Language to LTL Formulae
May 24, 2022