JuliaReach: a toolbox for set-based reachability.

Sergiy Bogomolov Marcelo Forets Goran Frehse Kostiantyn Potomkin Christian Schilling

Published in: HSCC (2019)

Keyphrases

databases
real world
search engine
probability distribution
user defined
neural network
website
video sequences
multi objective
query language