Computer Science
J.Svejda's user avatar
J.Svejda's user avatar
J.Svejda's user avatar
J.Svejda
  • Member for 5 years
  • Last seen more than 2 years ago
Profile Activity
Stats
116
reputation
1k
reached
8
answers
0
questions
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Top tags
View all tags
7
Score
7
Posts
88
Posts %
4
Score
3
Posts
38
Posts %
3
Score
3
Posts
38
Posts %
3
Score
3
Posts
38
Posts %
2
Score
1
Posts
12
Posts %
1
Score
1
Posts
12
Posts %
Top posts
All Questions Answers
Score Newest
answer
2
(Generally) How to specify asynchronous action with side effects using logic equations
Mar 24, 2019
answer
1
Model Checking CTL* algorithm
Jan 7, 2019
answer
1
Safety property vs Liveness property
Sep 19, 2019
answer
1
Calculating probability of reaching state in DTMC
Oct 10, 2019
answer
1
Modeling a set of probabilistic concurrent processes
Oct 21, 2019
answer
1
Algorithm for computing $Pr[s \vDash C \bigcup^{\geq n} B]$ for probabilistic verification
Dec 3, 2019
answer
0
How to express the existence of winning strategy of the starter of a game in temporal logic?
Sep 10, 2018
answer
0
Does the naive conversion of a Boolean Formula to CNF have a polynomial or exponential complexity?
Oct 15, 2019
Top network posts
View all network posts
5
Keras Lambda layer has no output tensor shape, error when compiling model

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.