Computer Science
Network profile
46
reputation
1

J.Svejda

Apparently, this user prefers to keep an air of mystery about them.

3
answers
0
questions
~95
people reached
  • Member for 1 year
  • 4 profile views
  • Last seen Sep 7 at 9:15

Communities (3)

Top network posts

We respect a laser-like focus on one topic.

Top tags (7)

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

Top posts (3) All Questions Answers | Votes Newest

2 (Generally) How to specify asynchronous action with side effects using logic equations Mar 24
1 Model Checking CTL* algorithm Jan 7
0 How to express the existence of winning strategy of the starter of a game in temporal logic? Sep 10 '18

Badges (1)

Gold

—

Silver

—

Bronze

1

Rarest