no code implementations • 28 Aug 2023 • Julian Lemmel, Zahra Babaiee, Marvin Kleinlehner, Ivan Majic, Philipp Neubauer, Johannes Scholz, Radu Grosu, Sophie A. Neubauer
Modern tourism in the 21st century is facing numerous challenges.
no code implementations • 23 Aug 2023 • Sophie A. Neubauer, Radu Grosu
To this end, we review LRT-NG, SLR, and GoTube, algorithms for constructing a tight reachtube, that is, an over-approximation of the set of states reachable within a given time-horizon, and provide guarantees for the reachtube bounds.
no code implementations • 27 Jun 2022 • Julian Lemmel, Zahra Babaiee, Marvin Kleinlehner, Ivan Majic, Philipp Neubauer, Johannes Scholz, Radu Grosu, Sophie A. Neubauer
Modern tourism in the 21st century is facing numerous challenges.