Tools

We maintain a github repository for research reproducibility. 

https://github.com/orgs/SEMTA-Group 

Some tools I developed in the past. They are more for understanding or validating concepts - so use them with caution. 

• ComOpT: Combination and Optimization for testing autonomous driving systems

• nn-dependability-kit: Engineering neural networks for safety-critical systems

• G4LTL-ST: Generating PLC programs from formal specifications

• autoCode4: Structural reactive synthesis in Lustre programs

• GAVS+: an open platform for the research of algorithmic game solving

• MGSyn: Automatic synthesis for modular (skill-based) production systems

• JBernstein: Validity checking for generalized polynomial constraints

• EFSMT: a wrapper for solving exists-forall formulae

• VissBIP: model construction and priority synthesis for simple interaction systems