v0.24.1

ReachabilityAnalysis v0.24.1

Diff since v0.24.0

Merged pull requests:

• Revise models (#783) (@schillic)
• Minor fixes (#784) (@schillic)
• Run Aqua in tests and fix problems (#785) (@schillic)
• Replace $ with double backticks and use Unicode symbols (#786) (@schillic)
• Fix method-call errors in XFZ18 (#787) (@schillic)
• v0.24.1 (#791) (@schillic)

Closed issues:

• Errors when testing the Thermostat tutorial problem (#750)