Short Duration Aggregate Statistical Model Checking for Multi-Agent Systems

von Yenda, Ramesh
Veröffentlicht in PRIMA (23. : 2020 : Online) PRIMA 2020: principles and practice of multi-agent systems (2021)

Decentralized Multi Agent Deep Reinforcement Q-Learning for Intelligent Traffic Controller

von Thamilselvam, B.
Veröffentlicht in International Conference on Artificial Intelligence Applications and Innovations (19. : 2023 : Léon; Online) Artificial intelligence applications and innovations ; Part 1 (2023)

Statistical Model Checking for Traffic Models

von Thamilselvam, B.
Veröffentlicht in SBMF (24. : 2021 : Online) Formal Methods: Foundations and Applications (2021)

Model Checking for Entanglement Swapping

von Desu, Surya Sat Teja
Veröffentlicht in FORMATS (20. : 2022 : Warschau) Formal modeling and analysis of timed systems (2022)

Adiabatic Quantum Feature Selection for Sparse Linear Regression

von Desu, Surya Sai Teja
Veröffentlicht in ICCS (21. : 2021 : Online) Computational science - ICCS 2021 ; Part 6 (2021)