{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T05:24:19Z","timestamp":1749878659600,"version":"3.28.0"},"reference-count":60,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,11]]},"DOI":"10.1109\/ase51524.2021.9678727","type":"proceedings-article","created":{"date-parts":[[2022,1,20]],"date-time":"2022-01-20T20:33:49Z","timestamp":1642710829000},"page":"842-853","source":"Crossref","is-referenced-by-count":6,"title":["Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies"],"prefix":"10.1109","author":[{"given":"Simos","family":"Gerasimou","sequence":"first","affiliation":[{"name":"University of York,Department of Computer Science,UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"Camara","sequence":"additional","affiliation":[{"name":"University of York,Department of Computer Science,UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radu","family":"Calinescu","sequence":"additional","affiliation":[{"name":"University of York,Department of Computer Science,UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naif","family":"Alasmari","sequence":"additional","affiliation":[{"name":"University of York,Department of Computer Science,UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Faisal","family":"Alhwikem","sequence":"additional","affiliation":[{"name":"University of York,Department of Computer Science,UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xinwei","family":"Fang","sequence":"additional","affiliation":[{"name":"University of York,Department of Computer Science,UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"The probabilistic model checker storm","year":"2020","author":"hensel","key":"ref39"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66335-7_13"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1061\/9780784483374.037"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/4235.797969"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-018-0235-8"},{"key":"ref30","first-page":"95","article-title":"SPEA2: Improving the strength Pareto evolutionary algorithm","author":"zitzler","year":"2001","journal-title":"Evolutionary Methods for Design Optimization and Control with Applications to Industrial Problems (EUROGEN’01)"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77050-3_39"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:20040079"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2014.6883509"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1629335.1629338"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/ICSA.2017.16"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-021-00364-6"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2015.27"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/4235.996017"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0927-0507(05)80172-0"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2379776.2379787"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985795"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88908-3_14"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2912958"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31862-0_21"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60692-0_70"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00081"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2012.45"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.46"},{"key":"ref59","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1016\/j.jss.2018.05.013","article-title":"Efficient synthesis of robust models for stochastic systems","volume":"143","author":"calinescu","year":"2018","journal-title":"Journal of Systems and Software"},{"key":"ref58","first-page":"517","article-title":"Combining multi-objective search and constraint solving for configuring large software product lines","author":"henard","year":"2015","journal-title":"Proceedings of the International Conference on Software Engineering ICSE'94"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.07.054"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/1389095.1389431"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/1276958.1277171"},{"journal-title":"Synthesis of parametric programs using genetic programming and model checking","year":"2014","author":"katz","key":"ref54"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025144"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.14"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63390-9_31"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89963-3_19"},{"key":"ref12","volume":"5","author":"coello","year":"2007","journal-title":"Evolutionary Algorithms for Solving Multi-Objective Problems"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_6"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-91908-9_21"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47474-8_11"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_11"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33386-6_25"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45190-5_19"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS50736.2021.00040"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2019.02.055"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-017-0432-4"},{"key":"ref6","first-page":"1587","article-title":"Optimal policy generation for partially satisfiable co-safe ltl specifications","author":"lacerda","year":"2015","journal-title":"IJCAI"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49665-7_16"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786853"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.22"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23716-4_14"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211866"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_8"},{"key":"ref45","first-page":"1437","article-title":"A comprehensive survey on safe reinforcement learning","volume":"16","author":"garc?a","year":"2015","journal-title":"Journal of Machine Learning Research"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606592"},{"key":"ref47","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v32i1.11797","article-title":"Safe reinforcement learning via shielding","volume":"32","author":"alshiekh","year":"2018","journal-title":"Proceedings of the AAAI Conference on Artificial Intelligence"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/1390156.1390162"},{"key":"ref41","first-page":"1","article-title":"Managing power consumption and performance of computing systems using reinforcement learning","volume":"7","author":"tesauro","year":"2007","journal-title":"NIPS"},{"key":"ref44","first-page":"3483","article-title":"Multi-objective reinforcement learning using sets of pareto dominating policies","volume":"15","author":"van moffaert","year":"2014","journal-title":"The Journal of Machine Learning Research"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ADPRL.2013.6615007"}],"event":{"name":"2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2021,11,15]]},"location":"Melbourne, Australia","end":{"date-parts":[[2021,11,19]]}},"container-title":["2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9678507\/9678392\/09678727.pdf?arnumber=9678727","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,23]],"date-time":"2023-01-23T22:48:10Z","timestamp":1674514090000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9678727\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11]]},"references-count":60,"URL":"https:\/\/doi.org\/10.1109\/ase51524.2021.9678727","relation":{},"subject":[],"published":{"date-parts":[[2021,11]]}}}