Computer Science
Profile Activity
Network profile
106
reputation
2

J.Svejda

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

8
answers
0
questions
~638
people reached
  • JanSvejda
  • Member for 2 years, 5 months
  • 13 profile views
  • Last seen Jan 3 at 17:13

Communities (4)

Top network posts

Top tags (13)

Score 6
Posts 7
Posts % 88
Score 3
Posts 3
Score 3
Posts 3
Score 2
Posts 3
Score 2
Posts 1
Score 1
Posts 1
View all tags →

Top posts (8)

All Questions Answers
Votes Newest
2 (Generally) How to specify asynchronous action with side effects using logic equations Mar 24 '19
1 Modeling a set of probabilistic concurrent processes Oct 21 '19
1 Calculating probability of reaching state in DTMC Oct 10 '19
1 Safety property vs Liveness property Sep 19 '19
1 Model Checking CTL* algorithm Jan 7 '19
0 Algorithm for computing $Pr[s \vDash C \bigcup^{\geq n} B]$ for probabilistic verification Dec 3 '19
0 Does the naive conversion of a Boolean Formula to CNF have a polynomial or exponential complexity? Oct 15 '19
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