2021-02-05T14:29:22-03:00 https://juliareach.github.io/talk/example-talk/ 2030-06-01T13:00:00+00:00 https://juliareach.github.io/ 2030-06-01T13:00:00+00:00 https://juliareach.github.io/event/ 2030-06-01T13:00:00+00:00 2021-02-05T14:29:22-03:00 https://juliareach.github.io/post/ 2021-02-05T14:29:22-03:00 https://juliareach.github.io/tag/reachability/ 2021-02-05T14:29:22-03:00 https://juliareach.github.io/tags/ 2021-02-05T14:29:22-03:00 https://juliareach.github.io/post/rk4_taylorseries/ 2021-02-05T14:29:22-03:00 https://juliareach.github.io/software/reachabilityanalysis/ 2021-02-01T00:00:00+00:00 https://juliareach.github.io/software/ 2021-02-01T00:00:00+00:00 https://juliareach.github.io/software/lazysets/ 2021-01-27T00:00:00+00:00 https://juliareach.github.io/tag/arch-comp/ 2020-12-13T00:00:00+00:00 https://juliareach.github.io/post/archcomp20_prize/ 2020-12-13T00:00:00+00:00 https://juliareach.github.io/tag/decomposition/ 2020-11-01T00:00:00+00:00 https://juliareach.github.io/tag/hybrid-systems/ 2020-11-01T00:00:00+00:00 https://juliareach.github.io/project/ 2020-11-01T00:00:00+00:00 https://juliareach.github.io/project/decohybrid/ 2020-11-01T00:00:00+00:00 https://juliareach.github.io/project/ccc/ 2020-10-15T00:00:00+00:00 https://juliareach.github.io/tag/hybrid-automata/ 2020-10-15T00:00:00+00:00 https://juliareach.github.io/tag/operations-research/ 2020-10-15T00:00:00+00:00 https://juliareach.github.io/tag/reachability-analysis/ 2020-10-15T00:00:00+00:00 https://juliareach.github.io/project/archcomp19_aff/ 2020-09-25T00:00:00+00:00 https://juliareach.github.io/project/archcomp20_aff/ 2020-09-25T00:00:00+00:00 https://juliareach.github.io/project/archcomp20_nln/ 2020-09-25T00:00:00+00:00 https://juliareach.github.io/project/timetrigger/ 2020-06-01T00:00:00+00:00 https://juliareach.github.io/tag/periodic-controller/ 2020-06-01T00:00:00+00:00 https://juliareach.github.io/software/rangeenclosures/ 2020-01-01T00:00:00+00:00 https://juliareach.github.io/software/reachabilitymodels/ 2020-01-01T00:00:00+00:00 https://juliareach.github.io/project/archcomp19_nln/ 2019-09-25T00:00:00+00:00 https://juliareach.github.io/project/juliareachtoolbox/ 2019-04-01T00:00:00+00:00 https://juliareach.github.io/slides/ 2019-02-05T00:00:00+00:00 https://juliareach.github.io/slides/example/ 2019-02-05T00:00:00+00:00 https://juliareach.github.io/software/neuralnetworkanalysis/ 2019-01-01T00:00:00+00:00 https://juliareach.github.io/project/archcomp18_aff/ 2018-09-17T00:00:00+00:00 https://juliareach.github.io/project/bffpsv18/ 2018-04-01T00:00:00+00:00 https://juliareach.github.io/software/mathematicalsystems/ 2016-04-27T00:00:00+00:00 https://juliareach.github.io/software/bernsteinexpansions/ 2006-01-01T00:00:00+00:00 https://juliareach.github.io/software/mathematicalpredicates/ 2005-01-01T00:00:00+00:00 https://juliareach.github.io/categories/ https://juliareach.github.io/publication_types/ https://juliareach.github.io/publication/