Closed lgeretti closed 7 years ago
Originally reported by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)
Study the Tulip software for hybrid systems and compare it to Ariadne.
Original comment by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)
Used it for controller synthesis.
Originally reported by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)
Study the Tulip software for hybrid systems and compare it to Ariadne.