Explore projects

S

MOSART / publications / STCTL
GNU General Public License v3.0 or later

Strategic (Timed) Computation Tree Logic

0

Updated Feb 13, 2023

0 0 0 0

Updated Feb 13, 2023
M

PMC-SOG / mc-sog
GNU General Public License v3.0 only

1

Updated May 01, 2023

1 0 0 0

Updated May 01, 2023
S

Nadi Tomeh / SDA

0

Updated Oct 15, 2023

0 0 0 0

Updated Oct 15, 2023
S

Julien David / SDA

0

Updated Oct 18, 2023

0 2 0 0

Updated Oct 18, 2023
A

PARTIES / tools / adt2amas
GNU General Public License v3.0 only

ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios

2

Updated Nov 07, 2023

2 0 0 9

Updated Nov 07, 2023
P

Sami Evangelista / pompet

Partial Order Model checker for PETri nets

0

Updated Nov 20, 2024

0 0 0 0

Updated Nov 20, 2024
A

Hadhami OUNI / Approche_ML_1

0

Updated Nov 28, 2024

0 0 0 0

Updated Nov 28, 2024
P

Hadhami OUNI / PFE

0

Updated Nov 28, 2024

0 0 0 0

Updated Nov 28, 2024
H

Sami Evangelista / helena
GNU General Public License v3.0 only

1

Updated Dec 04, 2024

1 0 0 0

Updated Dec 04, 2024
S

PMC-SOG / sogMBT
GNU General Public License v3.0 or later

Symbolic Observation Graph-Based Generation of Test Paths

0

Updated Jan 07, 2025

0 0 0 0

Updated Jan 07, 2025