Computer Science
Network profile
11
reputation
2

AleWereWolf

Currently majoring in Computer Engineering. Passionate about mathematics and physics <3

0
answers
3
questions
~137
people reached
  • Ancona, AN, Italia
  • Member for 8 months
  • 4 profile views
  • Last seen Sep 18 '19 at 9:51

Communities (9)

Top network posts

We respect a laser-like focus on one topic.

Top tags (3)

Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 1

Top posts (3) All Questions Answers | Votes Newest

1 Definition of liveness property in model checking Aug 19 '19
0 Safety property vs Liveness property Aug 19 '19
0 Observational Determinism using HyperPCTL Aug 21 '19

Badges (2)

Gold

—

Silver

—

Bronze

2

Rarest