These are some of the examples taken from the paper Safety Synthesis Sans Specification
https://arxiv.org/abs/2011.07630
Their examples are safety specifications since their learning algorithm is restricted to safety.
Some examples are modified and are liveness. The behchmarks are easy.
These are some of the examples taken from the paper Safety Synthesis Sans Specification https://arxiv.org/abs/2011.07630 Their examples are safety specifications since their learning algorithm is restricted to safety.
Some examples are modified and are liveness. The behchmarks are easy.