JuliaReach: a Toolbox for Set-Based Reachability.

Sergiy Bogomolov Marcelo Forets Goran Frehse Kostiantyn Potomkin Christian Schilling

Published in: CoRR (2019)

Keyphrases

databases
data structure
real time
neural network
feature selection
web services
case study
multi agent systems
medical images
transitive closure