Scarlet - JOSS release

[Scarlet] v1.0.0 Release

Key Features

Feature 1: Learning LTL formulas from given set of system executions. Feature 2: Generating executions from given LTL formulas.

New Additions

Addition 1: Can handle noisy data Addition 2: Added automated testing features

Scientific Software - Peer-reviewed - Python
Published by rajarshi008 about 2 years ago