TCPAT2 is a tool for analysing temporal concentration profiles, such as those used in river tracing.

We use reachability to ensure the safety of a decision agent acting on a dynamic system in real-time. We compute the Forward Reachable Set offline and use it online to adjust any potentially unsafe decisions that cause a collision with an obstacle.