{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T12:40:20Z","timestamp":1766061620659,"version":"3.48.0"},"reference-count":43,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"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":[[2025,10,19]]},"DOI":"10.1109\/iros60139.2025.11246215","type":"proceedings-article","created":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T18:54:45Z","timestamp":1764269685000},"page":"3092-3099","source":"Crossref","is-referenced-by-count":0,"title":["The Constitutional Filter: Bayesian Estimation of Compliant Agents"],"prefix":"10.1109","author":[{"given":"Simon","family":"Kohaut","sequence":"first","affiliation":[{"name":"TU Darmstadt,Artificial Intelligence and Machine Learning Group,Department of Computer Science,Darmstadt,Germany,64283"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felix","family":"Divo","sequence":"additional","affiliation":[{"name":"TU Darmstadt,Artificial Intelligence and Machine Learning Group,Department of Computer Science,Darmstadt,Germany,64283"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benedict","family":"Flade","sequence":"additional","affiliation":[{"name":"Honda Research Institute Europe GmbH,Offenbach,Germany,63073"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Devendra Singh","family":"Dhami","sequence":"additional","affiliation":[{"name":"TU Eindhoven,Uncertainty in Artificial Intelligence Group,Department of Mathematics and Computer Science,MB Eindhoven,Netherlands,5600"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julian","family":"Eggert","sequence":"additional","affiliation":[{"name":"Honda Research Institute Europe GmbH,Offenbach,Germany,63073"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kristian","family":"Kersting","sequence":"additional","affiliation":[{"name":"TU Darmstadt,Artificial Intelligence and Machine Learning Group,Department of Computer Science,Darmstadt,Germany,64283"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2009.2031625"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC57777.2023.10422083"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/79204.79210"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/7432.003.0012"},{"key":"ref5","first-page":"2462","article-title":"Problog: A probabilistic prolog and its application in link discovery","author":"De Raedt","year":"2007","journal-title":"IJCAI"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068414000076"},{"key":"ref7","article-title":"DeepProbLog: Neural probabilistic logic programming","volume":"31","author":"Manhaeve","year":"2018","journal-title":"advances in neural information processing systems"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2020\/243"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.15027"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICUAS60882.2024.10556879"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-016-5558-8"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/504729.504754"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1115\/1.3662552"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2007.1049"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2022.3169442"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2021.3077535"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2005.1545002"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2022.3181211"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/S0764-4442(97)84778-7"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/VTC2020-Fall49728.2020.9348450"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/IV47402.2020.9304840"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/MFI.2012.6343009"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/JSEN.2022.3150073"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3082778"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2018.8569304"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2019.8916995"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICUAS51884.2021.9476837"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2016.7535489"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/IROS47612.2022.9981396"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/JCSSE54890.2022.9836275"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2020.2994055"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2013.6629451"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2016.7535496"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TAES.2017.2680718"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC58415.2024.10920021"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC48978.2021.9564415"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000494"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1017\/s1471068418000054"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30353-1_36"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8339-8_13"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177704472"},{"key":"ref42","first-page":"1371","article-title":"Technical characteristics for an automatic identification system using time-division multiple access in the VHF maritime mobile band","author":"Series","year":"2014","journal-title":"Recommendation ITU: Geneva, Switzerland"},{"key":"ref43","article-title":"Marine Cadastre Vessel Traffic"}],"event":{"name":"2025 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","start":{"date-parts":[[2025,10,19]]},"location":"Hangzhou, China","end":{"date-parts":[[2025,10,25]]}},"container-title":["2025 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11245651\/11245652\/11246215.pdf?arnumber=11246215","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T12:35:57Z","timestamp":1766061357000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11246215\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,19]]},"references-count":43,"URL":"https:\/\/doi.org\/10.1109\/iros60139.2025.11246215","relation":{},"subject":[],"published":{"date-parts":[[2025,10,19]]}}}