Computer Science
Amir-Mousavi
  • Växjö, Sweden
  • Member for 3 years, 5 months
Profile Activity
Stats
268
reputation
6k
reached
2
answers
6
questions
About
Apparently, this user prefers to keep an air of mystery about them.

Communities (14)

Top network posts

This user doesn’t have any gold badges yet.
2
silver badges
12
bronze badges
View all badges

Top tags (15)

Score 4
Posts 2
Posts % 25
Score 4
Posts 2
Score 2
Posts 2
Score 2
Posts 2
Score 2
Posts 2
Score 2
Posts 2
View all tags →

Top posts (8)

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

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.