Giters
Seweryn (xsk07)

xsk07

Geek Repo

3

followers

15

following

32

stars

Location:Italy

Github PK Tool:Github PK Tool

Seweryn's repositories

LTLpSeparator

Algorithm for the separation of LTLp formulae into a combination of pure temporal formulae

Language:JavaLicense:GPL-3.0Stargazers:3Issues:3Issues:0

GRETEL

GRETEL a unified framework to develop and test Graph Counterfactual Explanations methods.

Language:Jupyter NotebookLicense:MITStargazers:1Issues:0Issues:0

FedEthML

Language:JavaScriptStargazers:0Issues:0Issues:0

NSSK-protocol-PRISM

Modelling and model checking of the Needham-Schroeder Symmetric-Key (NSSK) Protocol using PRISM

Stargazers:0Issues:1Issues:0