Explore projects

Optimizing Petri nets transition coverage using linear programming and symbolic observation graphs (Petri Nets 2026)

General Opacity Supervision tool

Translation of LTL formulae from JSON into Helena syntax.

Symbolic Observation Graph-Based Generation of Test Paths

ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios

Multi-core Decision Diagram (BDD/LDD) implementation

This is a copy of TinyXML2 parser

This is a copy of the TinyXML parser.

This is a copy of the BuDDy library.

Reduced Symbolic Observation Graph with Ample Set of the partial order reduction