The following publications are possibly variants of this publication:
- Finite abstractions of nonautonomous Max-Plus-Linear systemsDieky Adzkiya, Bart De Schutter, Alessandro Abate. amcc 2013: 4387-4392 [doi]
- Finite Abstractions of Stochastic Max-Plus-Linear SystemsDieky Adzkiya, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate. qest 2014: 74-89 [doi]
- Finite Abstractions of Max-Plus-Linear Systems: Theory and AlgorithmsDieky Adzkiya. PhD thesis, Delft University of Technology, Netherlands, 2014. [doi]
- Abstraction and verification of autonomous Max-Plus-Linear systemsDieky Adzkiya, Bart De Schutter, Alessandro Abate. amcc 2012: 721-726 [doi]
- Tropical Abstractions of Max-Plus Linear SystemsMuhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate. formats 2018: 271-287 [doi]
- Finite-Horizon Min-Max Control of Max-Plus-Linear SystemsIon Necoara, Eric C. Kerrigan, Bart De Schutter, Ton J. J. van den Boom. tac, 52(6):1088-1093, 2007. [doi]
- Bounded Model Checking of Max-Plus Linear Systems via Predicate AbstractionsMuhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate. formats 2019: 142-159 [doi]