Forward Reachability Computation for Autonomous Max-Plus-Linear Systems.

Dieky Adzkiya, Bart De Schutter, Alessandro Abate

Browse the full TACAS paper archive.