Dieky Adzkiya is Assistant Professor at the Department of Mathematics, Institut Teknologi Sepuluh Nopember, Indonesia. He earned his Ph.D. degree in system and control from the Delft University of Technology, in 2014. His research interests include formal verification and max-plus algebra.
Kistosil Fahim is Assistant Professor at the Department of Mathematics, Institut Teknologi Sepuluh Nopember, Indonesia. He earned his Ph.D. degree in stochastic processes from the Montanuniversitaet Leoben, Austria, in 2021. His research interests include stochastic partial differential equations and stochastic control systems.