Ongoing

Preliminary work which has not been yet submitted for publication.

1. Reachability Computations for Formal Verification in Julia.
   See JuliaReach-AES.
   2018, work-in-progress.

2. LazySets: a library for convex sets.
   See LazySets.jl in github.
   2018, work-in-progress.