Antwerp Systems and software Modelling

Publications

Revelations : a decidable class of POMDPs with omega-regular objectives

Source
AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA-39:25 (2025) p. 26454-26462
Author(s)

A Laplacian-based quantum graph neural networks for quantum semi-supervised learning

Source
Quantum information processing - ISSN 1570-0755-24:4 (2025) p. 1-20
Author(s)
    Hamed Gholipour, Farid Bozorgnia, Kailash Hambarde, Hamzeh Mohammadigheymasi, Javier Mancilla, Andre Sequeira, Joao Neves, Hugo Proenca, Moharram Challenger

Model-driven engineering for digital twins : opportunities and challenges

Source
Systems engineering - ISSN 1098-1241- (2025) p.
Author(s)
    Judith Michael, Loek Cleophas, Steffen Zschaler, Tony Clark, Benoit Combemale, Thomas Godfrey, Djamel Eddine Khelladi, Vinay Kulkarni, Daniel Lehner, Bernhard Rumpe, Manuel Wimmer, Andreas Wortmann, Shaukat Ali, Balbir Barn, Ion Barosan, Nelly Bencomo, Francis Bordeleau, Georg Grossmann, Gabor Karsai, Oliver Kopp, Bernhard Mitschang, Paula Munoz Ariza, Alfonso Pierantonio, Fiona A.C. Polack, Matthias Riebisch, Holger Schlingloff, Markus Stumptner, Antonio Vallecillo, Mark van den Brand, Hans Vangheluwe

The geometry of reachability in continuous vector addition systems with states

Source
Information and computation - ISSN 0890-5401-304 (2025) p. 1-17
Author(s)