3.0.0
- In the newer versions of UPPAAL (>=4.1.19) verifyta says "Formula is
satisfied" instead of "Property is satisfied". As our parser used to
look for a line that starts with " -- Property is satisfied.", it could
find nothing and ALWAYS returned empty results. I now solved by looking
if the line CONTAINS the string "is satisfied", so that it should work
both with older and newer versions of UPPAAL.
- The Levenberg-Marquardt algorithm seems to work also with more than
one data series: the important thing is always to have some data to
start with (i.e. if the initial configuration gives all zeroes, you get
no optimization).