# Overview of JuliaReach

We illustrate different aspects of the JuliaReach package ecosystem using examples from the Applied Verification for Continuous and Hybrid Systems competition (ARCH-COMP'2021). We outline possibilities for contributing to JuliaReach, including 2022 GSOC project ideas.

## Plan (internal)

- Present project ideas for GSOC 2022.
- Create a repo `juliareach-projects` with ideas listed in the README.md

- Infrastucture for modeling, simulating, visualizing results from reachability computations.

- Slide from JuliaLab talk ("what we aim to do")
- Advance the state-of-the-art working on fundamental problems
- Build comprehensive, efficient, correct, reproducible, well documented libraries
- Widen the applicability of reachability analysis for scientists & engineers

- Vision: Create a platform that can evaluate different reachability algorithms on the same model.

- Currently, running a reachability algorithm requires expert knowledge. Tools have sophisticated interfaces (or just command line interfaces) such that it is difficult to compare reachability algorithms.

## How to contribute? What types of contributions?

- Technical/algorithmic contributions:
- Implement a new reachability method.

- "Julia" contribution:
- Improve performance of existing methods.

- Non-technical contributions:
- To create a "cheatsheet" for LazySets.
- Writing examples for the documentation.

## Schedule

- 15mins: intro, lazysets
- 30mins: reachability
- 15mins: contributions