GitHub repository: ueliwechsler/MPCSets
Primary language: Julia
Created: 2019-07-18T16:00:07Z
Description: Computation of the mRPI set using LazySets