{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T02:11:34Z","timestamp":1760235094271,"version":"build-2065373602"},"reference-count":5,"publisher":"MDPI AG","issue":"3","license":[{"start":{"date-parts":[[2021,7,13]],"date-time":"2021-07-13T00:00:00Z","timestamp":1626134400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSAN"],"abstract":"<jats:p>The study of autonomous agents is a well-established area that has been researched for decades, both from a design and implementation viewpoint [...]<\/jats:p>","DOI":"10.3390\/jsan10030047","type":"journal-article","created":{"date-parts":[[2021,7,13]],"date-time":"2021-07-13T04:26:06Z","timestamp":1626150366000},"page":"47","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Special Issue: Agents and Robots for Reliable Engineered Autonomy"],"prefix":"10.3390","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6666-6954","authenticated-orcid":false,"given":"Rafael C.","family":"Cardoso","sequence":"first","affiliation":[{"name":"Department of Computer Science, The University of Manchester, Manchester M13 9PL, UK"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8711-4670","authenticated-orcid":false,"given":"Angelo","family":"Ferrando","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Bioengineering, Robotics and Systems Engineering (DIBRIS), University of Genova, 16145 Genova, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1994-8929","authenticated-orcid":false,"given":"Daniela","family":"Briola","sequence":"additional","affiliation":[{"name":"Department of Informatics, Systems and Communication (DISCO), University of Milano Bicocca, 20126 Milan, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5303-8481","authenticated-orcid":false,"given":"Claudio","family":"Menghi","sequence":"additional","affiliation":[{"name":"Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, L-4365 Luxembourg, Luxembourg"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4652-901X","authenticated-orcid":false,"given":"Tobias","family":"Ahlbrecht","sequence":"additional","affiliation":[{"name":"Department of Informatics, Clausthal University of Technology, 38678 Clausthal-Zellerfeld, Germany"}]}],"member":"1968","published-online":{"date-parts":[[2021,7,13]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","unstructured":"Cardoso, R.C., Ferrando, A., Briola, D., Menghi, C., and Ahlbrecht, T. (2021). Agents and Robots for Reliable Engineered Autonomy: A Perspective from the Organisers of AREA 2020. J. Sens. Actuator Netw., 10.","DOI":"10.3390\/jsan10020033"},{"key":"ref_2","doi-asserted-by":"crossref","unstructured":"Onyedinma, C., Gavigan, P., and Esfandiari, B. (2020). Toward Campus Mail Delivery Using BDI. J. Sens. Actuator Netw., 9.","DOI":"10.3390\/jsan9040056"},{"key":"ref_3","doi-asserted-by":"crossref","unstructured":"Al-Nuaimi, M., Wibowo, S., Qu, H., Aitken, J., and Veres, S. (2021). Hybrid Verification Technique for Decision-Making of Self-Driving Vehicles. J. Sens. Actuator Netw., 10.","DOI":"10.3390\/jsan10030042"},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"Alves, G.V., Dennis, L., and Fisher, M. (2021). A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations. J. Sens. Actuator Netw., 10.","DOI":"10.3390\/jsan10030041"},{"key":"ref_5","doi-asserted-by":"crossref","unstructured":"Casadei, R., Aguzzi, G., and Viroli, M. (2021). A Programming Approach to Collective Autonomy. J. Sens. Actuator Netw., 10.","DOI":"10.3390\/jsan10020027"}],"container-title":["Journal of Sensor and Actuator Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2224-2708\/10\/3\/47\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T06:29:36Z","timestamp":1760164176000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2224-2708\/10\/3\/47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,13]]},"references-count":5,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2021,9]]}},"alternative-id":["jsan10030047"],"URL":"https:\/\/doi.org\/10.3390\/jsan10030047","relation":{},"ISSN":["2224-2708"],"issn-type":[{"type":"electronic","value":"2224-2708"}],"subject":[],"published":{"date-parts":[[2021,7,13]]}}}