{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T03:10:53Z","timestamp":1775790653878,"version":"3.50.1"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,9,14]],"date-time":"2020-09-14T00:00:00Z","timestamp":1600041600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,9,14]],"date-time":"2020-09-14T00:00:00Z","timestamp":1600041600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,9,14]],"date-time":"2020-09-14T00:00:00Z","timestamp":1600041600000},"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":[[2020,9,14]]},"DOI":"10.1109\/mfi49285.2020.9235230","type":"proceedings-article","created":{"date-parts":[[2020,10,26]],"date-time":"2020-10-26T17:23:28Z","timestamp":1603733008000},"page":"32-39","source":"Crossref","is-referenced-by-count":4,"title":["Probabilistic Programming Languages for Modeling Autonomous Systems"],"prefix":"10.1109","author":[{"given":"Seyed","family":"Mahdi Shamsi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gian","family":"Pietro Farina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Gaboardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nils","family":"Napp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"1520","article-title":"Approximate bayesian image interpretation using generative probabilistic graphics programs","volume":"1","author":"mansinghka","year":"0"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2007.4398998"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2011.VII.007"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-014-9418-8"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1613\/jair.616"},{"key":"ref17","article-title":"Probabilistic Robotics","author":"thrun","year":"2005"},{"key":"ref18","first-page":"2006","article-title":"Simultaneous localisation and map-ping (slam): Part i the essential algorithms","volume":"2","author":"durrant-whyte","year":"2006","journal-title":"IEEE Robotics and Automation magazine"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2006.1678144"},{"key":"ref28","article-title":"Overview of approximate bayesian computation","author":"sisson","year":"2018"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3064899.3064910"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2013.2294914"},{"key":"ref3","article-title":"Church: a language for generative models","author":"goodman","year":"2008","journal-title":"UAI"},{"key":"ref6","article-title":"Practical Probabilistic Programming","author":"pfeffer","year":"2016"},{"key":"ref5","article-title":"The Design and Implementation of Probabilistic Programming Languages","author":"goodman","year":"2014"},{"key":"ref8","article-title":"Deep probabilistic programming","author":"tran","year":"2017","journal-title":"International Conference on Learning Representations"},{"key":"ref7","article-title":"Infer.NET 2.5","author":"minka","year":"2012","journal-title":"MSR"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008929526011"},{"key":"ref9","article-title":"Edward: A library for probabilistic modeling, inference, and criticism","author":"tran","year":"2016"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CASE48305.2020.9216771"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1177\/027836499701600604"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2014.6942976"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2010.VI.034"},{"key":"ref24","first-page":"581","article-title":"Simultaneous localization and map building using natural features in outdoor environments","volume":"6","author":"guivant","year":"2000","journal-title":"Intelligent Autonomous Systems"},{"key":"ref23","article-title":"Implementation 2d ekf-based simultaneous localisation and mapping for mobile robot","author":"saputra","year":"2019"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995716"},{"key":"ref25","article-title":"Bayesian Online Changepoint Detection","author":"adams","year":"2007"}],"event":{"name":"2020 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI)","location":"Karlsruhe, Germany","start":{"date-parts":[[2020,9,14]]},"end":{"date-parts":[[2020,9,16]]}},"container-title":["2020 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9235188\/9235208\/09235230.pdf?arnumber=9235230","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T17:53:44Z","timestamp":1656438824000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9235230\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,14]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/mfi49285.2020.9235230","relation":{},"subject":[],"published":{"date-parts":[[2020,9,14]]}}}