A Formal Verification Model for Performance Analysis of Reinforcement Learning Algorithms Applied t o Dynamic Networks

• Published in: Journal of applied computer science & mathematics Vol. 11; no. 1; pp. 13 - 16
• Main Authors: Shrirang Ambaji KULKARNI, Raghavendra G . RAO
• Format: Journal Article
• Language: English
• Published: Stefan cel Mare University of Suceava 01.04.2017
• Subjects: Dynamic Networks; Q - Routing. SPIN model checking; Reinforcement Learning
• ISSN: 2066-4273; 2066-3129
• DOI: 10.4316/JACSM.201701002

Routing data packets in a dynamic network is a difficult and important problem in computer networks. As the network is dynamic, it is subject to frequent topology changes and is subject to variable link costs due to congestion and bandwidth. Existing shortest path algorithms fail to converge to bett...