{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,25]],"date-time":"2025-11-25T06:56:45Z","timestamp":1764053805455,"version":"3.28.0"},"reference-count":45,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,5,23]],"date-time":"2022-05-23T00:00:00Z","timestamp":1653264000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,5,23]],"date-time":"2022-05-23T00:00:00Z","timestamp":1653264000000},"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":[[2022,5,23]]},"DOI":"10.1109\/icra46639.2022.9811579","type":"proceedings-article","created":{"date-parts":[[2022,7,12]],"date-time":"2022-07-12T19:36:40Z","timestamp":1657654600000},"page":"6814-6821","source":"Crossref","is-referenced-by-count":3,"title":["Automated Testing With Temporal Logic Specifications for Robotic Controllers Using Adaptive Experiment Design"],"prefix":"10.1109","author":[{"given":"Craig","family":"Innes","sequence":"first","affiliation":[{"name":"Institute of Perception, Action and Behaviour (IPAB), University of Edinburgh,United Kingdom"}]},{"given":"Subramanian","family":"Ramamoorthy","sequence":"additional","affiliation":[{"name":"Institute of Perception, Action and Behaviour (IPAB), University of Edinburgh,United Kingdom"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.23919\/ACC45564.2020.9147692"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380370"},{"key":"ref33","article-title":"Interaction networks for learning about objects, relations and physics","author":"battaglia","year":"2016","journal-title":"ArXiv Preprint"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1002\/cjce.22384"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.compchemeng.2014.05.021"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1168917.1168882"},{"key":"ref37","first-page":"8459","article-title":"Learning to simulate complex physics with graph networks","author":"sanchez-gonzalez","year":"0","journal-title":"International Conference on Machine Learning"},{"key":"ref36","article-title":"Learning mesh-based simulation with graph networks","author":"pfaff","year":"2020","journal-title":"ArXiv Preprint"},{"key":"ref35","article-title":"A compositional object-based approach to learning physical dynamics","author":"chang","year":"2016","journal-title":"ArXiv Preprint"},{"key":"ref34","article-title":"Learning particle dynamics for manipulating rigid bodies, deformable objects, and fluids","author":"li","year":"2018","journal-title":"ArXiv Preprint"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF02415091"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3447928.3456639"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-46161-4_7"},{"key":"ref12","first-page":"411","article-title":"Patterns in property specifications for finite-state verification","author":"dwyer","year":"0","journal-title":"Proceedings of the 21st International Conference on Software Engineering"},{"key":"ref13","article-title":"Coppeliasim (formerly v-rep): a versatile and scalable robot simulation framework","author":"rohmer","year":"0","journal-title":"Proc of the International Conference on Intelligent Robots and Systems (IROS)"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/MRA.2012.2205651","article-title":"The Open Motion Planning Library","volume":"19","author":"sucan","year":"2012","journal-title":"IEEE Robotics & Automation Magazine"},{"journal-title":"Drake Model-based design and verification for robotics","year":"2019","author":"tedrake","key":"ref15"},{"key":"ref16","article-title":"Hindsight experience replay","author":"andrychowicz","year":"2017","journal-title":"ArXiv Preprint"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2020.2988642"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-018-09509-5"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96145-3_1"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1137\/090761811"},{"key":"ref4","article-title":"Automatic synthesis of experiment designs from probabilistic environment specifications","author":"innes","year":"2021","journal-title":"ArXiv Preprint"},{"key":"ref27","first-page":"441","article-title":"D ry vr: data-driven verification and compositional reasoning for automotive systems","author":"fan","year":"0","journal-title":"International Conference on Computer Aided Verification"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.compchemeng.2017.05.010"},{"key":"ref6","volume":"2","author":"williams","year":"2006","journal-title":"Gaussian Processes for Machine Learning"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1002\/2017WR021622"},{"key":"ref5","article-title":"Openai gym","author":"brockman","year":"2016","journal-title":"ArXiv Preprint"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s11831-020-09474-6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2019.8814487"},{"key":"ref2","article-title":"Specification patterns for robotic missions","author":"menghi","year":"2019","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.compchemeng.2017.05.025"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","article-title":"Monitoring temporal properties of continuous signals","author":"maler","year":"2004","journal-title":"Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant Systems"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_21"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2021.3078694"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2018.8500421"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185653"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.12.022"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/MASCOTS.2019.00045"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2966228"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029429"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2968478.2968482"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2017.8062628"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/MASCOTS.2019.00053"}],"event":{"name":"2022 IEEE International Conference on Robotics and Automation (ICRA)","start":{"date-parts":[[2022,5,23]]},"location":"Philadelphia, PA, USA","end":{"date-parts":[[2022,5,27]]}},"container-title":["2022 International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9811522\/9811357\/09811579.pdf?arnumber=9811579","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,3]],"date-time":"2022-11-03T23:06:37Z","timestamp":1667516797000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9811579\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,23]]},"references-count":45,"URL":"https:\/\/doi.org\/10.1109\/icra46639.2022.9811579","relation":{},"subject":[],"published":{"date-parts":[[2022,5,23]]}}}