Computer Science
Network profile
106
reputation
2

J.Svejda

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

7
answers
0
questions
~340
people reached
  • Member for 1 year, 2 months
  • 8 profile views
  • Last seen yesterday

Communities (4)

Top network posts

We respect a laser-like focus on one topic.

Top tags (12)

Score 6
Posts 6
Posts % 86
Score 3
Posts 3
Score 3
Posts 2
Score 2
Posts 2
Score 2
Posts 1
Score 1
Posts 1
View all tags →

Top posts (7) All Questions Answers | Votes Newest

2 (Generally) How to specify asynchronous action with side effects using logic equations Mar 24
1 Modeling a set of probabilistic concurrent processes Oct 21
1 Calculating probability of reaching state in DTMC Oct 10
1 Safety property vs Liveness property Sep 19
1 Model Checking CTL* algorithm Jan 7
0 Does the naive conversion of a Boolean Formula to CNF have a polynomial or exponential complexity? Oct 15
0 How to express the existence of winning strategy of the starter of a game in temporal logic? Sep 10 '18

Badges (2)

Gold

—

Silver

—

Bronze

2

Rarest