{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T23:35:14Z","timestamp":1761176114507,"version":"build-2065373602"},"reference-count":0,"publisher":"IOS Press","isbn-type":[{"value":"9781643686318","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,21]],"date-time":"2025-10-21T00:00:00Z","timestamp":1761004800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,10,21]]},"abstract":"<jats:p>Extensive research has been applied to autonomous systems, particularly in the field of autonomous driving, encompassing a range of tasks, from object recognition to planning and control. In the presentation, we discuss research activities and solutions while also focusing on verification. The latter is essential for ensuring the safety and robustness of such systems under any scenario driven by interactions between the autonomous system and its environment. We further outline that verification during development appears to be insufficient, necessitating runtime monitoring based on regulations and physical laws, where knowledge-based systems provide an excellent foundation for this purpose.<\/jats:p>","DOI":"10.3233\/faia250780","type":"book-chapter","created":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T09:42:08Z","timestamp":1761126128000},"source":"Crossref","is-referenced-by-count":0,"title":["On the Use of Artificial Intelligence for Autonomous Driving and Its Verification"],"prefix":"10.3233","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0462-2283","authenticated-orcid":false,"given":"Franz","family":"Wotawa","sequence":"first","affiliation":[{"name":"Graz University of Technology, Institute of Software Engineering and Artificial Intelligence, Graz, Austria"}]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","ECAI 2025"],"original-title":[],"link":[{"URL":"https:\/\/ebooks.iospress.nl\/pdf\/doi\/10.3233\/FAIA250780","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T09:42:08Z","timestamp":1761126128000},"score":1,"resource":{"primary":{"URL":"https:\/\/ebooks.iospress.nl\/doi\/10.3233\/FAIA250780"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,21]]},"ISBN":["9781643686318"],"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/faia250780","relation":{},"ISSN":["0922-6389","1879-8314"],"issn-type":[{"value":"0922-6389","type":"print"},{"value":"1879-8314","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,21]]}}}