Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
This is a copy of the BuDDy library.
-
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems
-
-
-
-
-
Modular General Framework for Opacity Supervision using the Symbolic Observation Graph
-
-
This is a copy of the TinyXML parser.
-
-
-
This is a copy of TinyXML2 parser
-
Example Jekyll site using GitLab Pages: https://pages.gitlab.io/jekyll
-
-
-
-
SOG-Based Multi-Core LTL Model Checking
-
-
gitlab-ci.yml configuration files