{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:29:03Z","timestamp":1729657743269,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1109\/iri.2013.6642512","type":"proceedings-article","created":{"date-parts":[[2013,10,30]],"date-time":"2013-10-30T20:13:22Z","timestamp":1383164002000},"page":"504-511","source":"Crossref","is-referenced-by-count":1,"title":["Learning-based routing in mobile wireless sensor networks: Applying formal modeling and analysis"],"prefix":"10.1109","author":[{"given":"Fatemeh","family":"Kazemeyni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olaf","family":"Owe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Einar Broch","family":"Johnsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilangko","family":"Balasingham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1068009.1068130"},{"key":"17","first-page":"17","article-title":"A structural approach to operational semantics","volume":"60 61","author":"plotkin","year":"2004","journal-title":"JLAP"},{"journal-title":"Cambridge\/haggle\/imote\/intel","year":"2006","author":"scott","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.09.022"},{"key":"16","first-page":"209","article-title":"Near-optimal reinforcementlearning framework for energy-aware sensor communications","volume":"23","author":"pandana","year":"2002","journal-title":"JSAC"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90182-F"},{"journal-title":"Machine Learning","year":"1997","author":"mitchell","key":"14"},{"key":"11","first-page":"43","article-title":"Formal modeling of reinforcementlearning algorithms applied for mobile ad hoc network","volume":"2","author":"kulkarni","year":"2009","journal-title":"IJRTE"},{"key":"12","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1145\/961268.961272","article-title":"Probabilistic routingin intermittently connected networks","volume":"7","author":"lindgren","year":"2003","journal-title":"ACM SIGMOBILEMobile Comp Comm"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1002\/9781118033197"},{"key":"20","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1109\/CIT.2006.34","article-title":"Adaptive routing for sensor networksusing reinforcement learning","author":"wang","year":"2006","journal-title":"The 6th IEEE Conf on Comp Info Tech"},{"key":"2","first-page":"1","article-title":"Q-probabilistic routing in wirelesssensor networks","author":"arroyo-valles","year":"2007","journal-title":"The 3rd Intl Conf on IntelligentSensors Sensor Netw Info"},{"key":"1","first-page":"213","article-title":"PMaude: Rewrite-basedspecification language for probabilistic object systems","volume":"153","author":"agha","year":"2006","journal-title":"ENTCS"},{"journal-title":"Learning-based Routing in Mobile Wireless SensorNetworks Formal Modeling and Analysis for WSNs","year":"2013","author":"kazemeyni","key":"10"},{"key":"7","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1613\/jair.301","article-title":"Reinforcementlearning: A survey","volume":"4","author":"kaelbling","year":"1996","journal-title":"JAIR"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.1007\/b99492","author":"dorigo","year":"2004","journal-title":"Ant Colony Optimization"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/BF01386390"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00359-0"},{"key":"9","first-page":"284","article-title":"Formal modeling and validation of a power-efficient groupingprotocol for wsns","volume":"81","author":"kazemeyni","year":"2012","journal-title":"JLAP"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1096-2"}],"event":{"name":"2013 IEEE 14th International Conference on Information Reuse & Integration (IRI)","start":{"date-parts":[[2013,8,14]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2013,8,16]]}},"container-title":["2013 IEEE 14th International Conference on Information Reuse & Integration (IRI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6621630\/6642428\/06642512.pdf?arnumber=6642512","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,31]],"date-time":"2019-07-31T14:41:18Z","timestamp":1564584078000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6642512\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/iri.2013.6642512","relation":{},"subject":[],"published":{"date-parts":[[2013,8]]}}}