Travelled to:
1 × France
Collaborated with:
B.D.Schutter A.Abate
Talks about:
reachabl (1) forward (1) autonom (1) system (1) linear (1) comput (1) plus (1) max (1)
Person: Dieky Adzkiya
DBLP: Adzkiya:Dieky
Contributed to:
Wrote 1 papers:
- TACAS-2014-AdzkiyaSA #reachability
- Forward Reachability Computation for Autonomous Max-Plus-Linear Systems (DA, BDS, AA), pp. 248–262.