Explore projects

A

PARTIES / tools / adt2amas

ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios

2

Updated Nov 07, 2023

2 0 0 9

Updated Nov 07, 2023
T

PMC-SOG / Thread-SOG

0

Updated Nov 28, 2019

0 0 0 0

Updated Nov 28, 2019
H

PMC-SOG / Hybrid-SOG

0

Updated Nov 28, 2019

0 0 0 0

Updated Nov 28, 2019
L

Camille Coti / LocalOrio

0

Updated Apr 04, 2020

0 0 0 0

Updated Apr 04, 2020
S

PMC-SOG / sylvan

Multi-core Decision Diagram (BDD/LDD) implementation

0

Updated Apr 13, 2022

0 0 0

Updated Apr 13, 2022
M

PMC-SOG / mc-sog

1

Updated May 01, 2023

1 0 0 0

Updated May 01, 2023
T

Camille Coti / TensorJoseph

0

Updated Apr 23, 2020

0 0

Updated Apr 23, 2020
S

Julien David / SDA

0

Updated Oct 18, 2023

0 2 0 0

Updated Oct 18, 2023
M

PARTIES / publications / Minimal Scheduling

Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees

1

Updated May 02, 2022

1 0 0 0

Updated May 02, 2022
S

Jawher Jerray / SDA

0

Updated Nov 08, 2020

0 0 0 0

Updated Nov 08, 2020
S

Mehdi Naima / SDA

0

Updated Nov 08, 2020

0 0 0 0

Updated Nov 08, 2020
S

Nadi Tomeh / SDA

0

Updated Oct 15, 2023

0 0 0 0

Updated Oct 15, 2023
I

imitator / papers / ICECCS19

ICECCS19 paper experiments files

0

Updated Oct 09, 2020

0 0 0 0

Updated Oct 09, 2020
A

Julien David / AlgoDuTexte

0

Updated Feb 01, 2021

0 0 0 0

Updated Feb 01, 2021
L

Julien David / lipn-search

0

Updated Apr 13, 2021

0 0 4 0

Updated Apr 13, 2021
F

Daniel Torres / FT-CALU

0

Updated Feb 22, 2021

0 0 0 0

Updated Feb 22, 2021
C

Thomas Rubiano / CompcertMWP

0

Updated Nov 24, 2021

0 0 0 1

Updated Nov 24, 2021
H

Sami Evangelista / helena

1

Updated May 03, 2023

1 0 0 0

Updated May 03, 2023
P

Camille Coti / Profiling for StarPU

0

Updated Sep 30, 2022

0 0 0 0

Updated Sep 30, 2022
B

GoSup / BuDDy

This is a copy of the BuDDy library.

0

Updated Dec 09, 2021

0 0 0 0

Updated Dec 09, 2021