GSOC Ideas

Scalable Verification of Neural Networks Using Zonotopes

Recommended Skills:

Expected Results: Implementation of an AI2 or H of matrix coloring and automatic sparsity detection employing the set-based utilities from LazySets.jl.

Mentors: Marcelo Forets and Christian Schilling.

Implement Interval-based Reachability Methods

[TIRA](TIRA: Toolbox for Interval Reachability Analysis, by Pierre-Jean Meyer, Alex Devonport and Murat Arcak)

Recommended Skills:

Expected Results:

Mentors: Marcelo Forets.

---

Newtorks of Hybrid Systems

Recommended Skills:

Expected Results:

Mentors:

https://dl.acm.org/citation.cfm?id=2883826&dl=ACM&coll=DL

https://drive.google.com/file/d/0By5Nhm0s_V1cUmE5UUdaV044NlE/view

http://spaceex.imag.fr/sites/default/files/introduction_to_spaceex_0.pdf

https://ths.rwth-aachen.de/wp-content/uploads/sites/4/technical-report.pdf

Hybrid Systems Interface to Simulink Models

Recommended Skills:

Expected Results:

Mentors:

https://github.com/nikos-kekatos/SL2SX

https://easychair.org/publications/open/V4

https://drive.google.com/file/d/0By5Nhm0s_V1cX0RMMEIyT2hRTVU/view

Reachability of Linear Partial Differential Equations

http://stanleybak.com/papers/tran2018adhs.pdf

Recommended Skills:

Expected Results:

Mentors:

Reachability of Differential-Algebraic Equations

Recommended Skills:

Expected Results:

Mentors: