Antwerp Systems and software Modelling

Publications

Active Learning of Automata with Resources

Source
Mons, Université de Mons & Universiteit Antwerpen, 2024,xix, 377
Author(s)

Activating formal verification of deep reinforcement learning policies by model checking bisimilar latent space models

Source
Brussels, Vrije Universiteit Brussel & Universiteit Antwerpen, 2024,346 p.
Author(s)

Proceedings of the 5th Summer School on Cyber-PhysicalSystems and Internet-of-Things

Source
5th Summer School on Cyber-Physical Systems and Internet-of-Things (SS-CPS&IoT’2024), June 11-14, 2024, Budva, Montenegro-5 (2024) p.
Author(s)
    Alberto Marchisio, Andrej Škraba, Anish Bhobe, Claudio Rubattu, Dominique Blouin, Federico Manca, Francesco Ratto, Hans Vangheluwe, Jovan Đurković, Lech Jóźwiak, Luis Palacios, Morayo Adedjouma, Muhammad Shafique, Nabil Abdennadher, Nikhil Gaikwad, Radovan Stojanović, Rainer Leupers, Rakshit Mittal, Ralf Lübben, Rizwan Parveen, Samir Ouchani, Sokol Kosta, Tarek El-Ghazawi, Zakaria Chihani

The Wasserstein Believer : learning belief updates for partially observable environments through reliable latent space models

Source
The Twelfth International Conference on Learning Representations (ICLR 2024), May 7th, 2024 to May 11th, 2024, Vienna Austria- (2024) p. 1-40
Author(s)

Modelling and simulation-based evaluation of twinning architectures and their deployment

Source
Proceedings of the 14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications SIMULTECH - Volume 1, 170-182, 2024 , Dijon, France- () p. 170-182
Author(s)