Antwerp Systems and Software Modelling

Publications

Active learning of Mealy machines with timers

Source
Lecture notes in computer science-16143 () p. 42-61
Author(s)

Integrating model checking into a live modeling environment

Source
18th International Conference on Software Language, Engineering-SLE-Annual, JUN 12-13, 2025, Koblenz, Germany- (2025) p. 128-133
Author(s)

Shaping the future of metaverse research : innovation, collaboration, and journal of metaverse's academic impact

Source
Journal of metaverse - ISSN 2792-0232-5:2 (2025) p. 1-19
Author(s)
    Enis Karaarslan, Omer Aydin, Senem Yazici Yilmaz, Hasan Tinmaz, Suleyman Eken, Nida Gokce Narin, Umit Cali, Kursad Ozkaynar, Onder Gurcan, Mina Fanea-ivanovici, Osman Gazi Gucluturk, Man Qi, Huseyin Kusetogullari, Moharram Challenger, Nebojsa Bacanin Dzakula

Formal analysis tools for nonlinear model-predictive control : formal verification techniques for real-world MPC

Source
Antwerp, University of Antwerp, Faculty of Science, Department of Computer Science, 2025,xviii, 106 p.
Author(s)