Computer Science
Meta user
Network profile
151
reputation
8

Amir-Mousavi

bachelor Student of software technology at Linnaeus University (Växjö)

2
answers
6
questions
~2k
people reached
  • Växjö, Sweden
  • Member for 1 year, 3 months
  • 18 profile views
  • Last seen May 18 at 17:00

Communities (12)

Top network posts

Top tags (15)

Score 1
Posts 2
Posts % 25
Score 1
Posts 2
Score 0
Posts 3
Score 0
Posts 3
Score 0
Posts 2
Score 0
Posts 2
View all tags →

Top posts (8) All Questions Answers | Votes Newest

2 Restriction and re-labeling on CCS May 7 '18
1 optimal testing strategy Oct 1 '18
1 Chess Knight minimum moves to destination on an infinite board Sep 29 '18
1 CTL satisfied by Kripke Structure Jun 5 '18
1 optimal testing strategy Jan 30
0 Chess Knight minimum moves to destination on an infinite board Oct 1 '18
0 Linear Temporal Logic, Idempotent law Jun 5 '18
0 LTL globally implies Jun 5 '18

Badges (8)

Gold

—

Silver

—

Bronze

8

Rarest