Solutions to the State Elimination Case

Case resources:

The following 5 solutions were submitted:

Tool Authors Artefacts Opponents
NMF Georg Hinkel PDF Description
No SHARE demo
SCM
Daniel Strüber
Mohammadreza Sharbaf et al.
Henshin Daniel Strüber PDF Description
SHARE Demo
SCM
Georg Hinkel
Simon-Lennert Raesch et al.
SDMLib Alexander Weidt and Albert Zündorf PDF Description
No SHARE demo
SCM
Georg Hinkel
Mohammadreza Sharbaf et al.
Epsilon Mohammadreza Sharbaf et al. PDF Description
No SHARE demo
SCM
Alexander Weidt and Albert Zündorf
Simon-Lennert Raesch et al.
Yage Simon-Lennert Raesch et al. PDF Description
No SHARE demo
SCM
Daniel Strüber
Alexander Weidt and Albert Zündorf