{"title":"A Formal Verification Model for Performance Analysis of Reinforcement Learning Algorithms Applied to Dynamic Networks","authors":"S. Kulkarni, Raghavendra Rao","doi":"10.4316/JACSM.201701002","DOIUrl":null,"url":null,"abstract":"","PeriodicalId":30102,"journal":{"name":"Journal of Applied Computer Science Mathematics","volume":"1 1","pages":"13-16"},"PeriodicalIF":0.0000,"publicationDate":"2017-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Applied Computer Science Mathematics","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4316/JACSM.201701002","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}