Tools
QuADTool
QuadTool focuses on the synthesis of Cyber-security models based on the attack-tree concept.
SeQuaiA
This tool implements the semi-quantitative analysis of Chemical Reaction Networks.
SemML
In this project we develop learning-based exploration heuristics for LTL Synthesis that exploit the semantic labelling of the underlying Automaton/Game.
Owl
Owl is designed to help researches in formal methods to work with ω-words, ω-automata and LTL.
MONITIZER
We create a tool (Monitizer) that optimizes monitors on a NN for a specific task.
dtControl
Represent controllers as decision trees. Improve memory footprint, boost explainability while preserving guarantees.
Automata Tutor is an online teaching tool that aids instructors and students in large courses on automata and formal languages with many different exercise types.
MultiGain2.0
MultiGain2.0 is a tool for policy synthesis under multiple mean-payoff, LTL and steady-state constraints