Skip to content

FAQ

  • FalCAuN says "infinite robustness". What should I do?
    • It can be because the generated signal is too short for the temporal formula. Please make signalLength given to AdaptiveSTLList as long as the time window of the STL formulas.