No Cover Image

Conference Paper/Proceeding/Abstract 662 views 26 downloads

Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway

Monika Seisenberger Orcid Logo, Maurice H. ter Beek Orcid Logo, Xiuyi Fan Orcid Logo, Alessio Ferrari Orcid Logo, Anne E. Haxthausen Orcid Logo, Phillip James Orcid Logo, Andrew Lawrence, Bas Luttik Orcid Logo, Jaco van de Pol Orcid Logo, Simon Wimmer Orcid Logo

Lecture Notes in Computer Science, Volume: 13704, Pages: 246 - 268

Swansea University Authors: Monika Seisenberger Orcid Logo, Phillip James Orcid Logo

Check full text

DOI (Published version): 10.1007/978-3-031-19762-8_20

Published in: Lecture Notes in Computer Science
ISBN: 9783031197611 9783031197628
ISSN: 0302-9743 1611-3349
Published: Cham Springer Nature Switzerland 2022
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa60611
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2022-11-17T15:04:21Z
last_indexed 2023-01-13T19:20:52Z
id cronfa60611
recordtype SURis
fullrecord <?xml version="1.0" encoding="utf-8"?><rfc1807 xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema"><bib-version>v2</bib-version><id>60611</id><entry>2022-07-23</entry><title>Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway</title><swanseaauthors><author><sid>d035399b2b324a63fe472ce0344653e0</sid><ORCID>0000-0002-2226-386X</ORCID><firstname>Monika</firstname><surname>Seisenberger</surname><name>Monika Seisenberger</name><active>true</active><ethesisStudent>false</ethesisStudent></author><author><sid>fd3b15ff96c5ea91a100131abac558b6</sid><ORCID>0000-0002-4307-649X</ORCID><firstname>Phillip</firstname><surname>James</surname><name>Phillip James</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2022-07-23</date><deptcode>MACS</deptcode><abstract/><type>Conference Paper/Proceeding/Abstract</type><journal>Lecture Notes in Computer Science</journal><volume>13704</volume><journalNumber/><paginationStart>246</paginationStart><paginationEnd>268</paginationEnd><publisher>Springer Nature Switzerland</publisher><placeOfPublication>Cham</placeOfPublication><isbnPrint>9783031197611</isbnPrint><isbnElectronic>9783031197628</isbnElectronic><issnPrint>0302-9743</issnPrint><issnElectronic>1611-3349</issnElectronic><keywords/><publishedDay>17</publishedDay><publishedMonth>10</publishedMonth><publishedYear>2022</publishedYear><publishedDate>2022-10-17</publishedDate><doi>10.1007/978-3-031-19762-8_20</doi><url/><notes/><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm/><funders/><projectreference/><lastEdited>2024-07-29T15:59:42.9077714</lastEdited><Created>2022-07-23T16:51:46.7918786</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Monika</firstname><surname>Seisenberger</surname><orcid>0000-0002-2226-386X</orcid><order>1</order></author><author><firstname>Maurice H. ter</firstname><surname>Beek</surname><orcid>0000-0002-2930-6367</orcid><order>2</order></author><author><firstname>Xiuyi</firstname><surname>Fan</surname><orcid>0000-0003-1223-9986</orcid><order>3</order></author><author><firstname>Alessio</firstname><surname>Ferrari</surname><orcid>0000-0002-0636-5663</orcid><order>4</order></author><author><firstname>Anne E.</firstname><surname>Haxthausen</surname><orcid>0000-0001-7349-8872</orcid><order>5</order></author><author><firstname>Phillip</firstname><surname>James</surname><orcid>0000-0002-4307-649X</orcid><order>6</order></author><author><firstname>Andrew</firstname><surname>Lawrence</surname><order>7</order></author><author><firstname>Bas</firstname><surname>Luttik</surname><orcid>0000-0001-6710-8436</orcid><order>8</order></author><author><firstname>Jaco van de</firstname><surname>Pol</surname><orcid>0000-0003-4305-0625</orcid><order>9</order></author><author><firstname>Simon</firstname><surname>Wimmer</surname><orcid>0000-0001-5998-4655</orcid><order>10</order></author></authors><documents><document><filename>60611__24724__37afc2b33c4644d895030efa56599538.pdf</filename><originalFilename>Isola2022-submitted.pdf</originalFilename><uploaded>2022-07-23T16:54:52.0511179</uploaded><type>Output</type><contentLength>275310</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2023-10-17T00:00:00.0000000</embargoDate><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents><OutputDurs/></rfc1807>
spelling v2 60611 2022-07-23 Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway d035399b2b324a63fe472ce0344653e0 0000-0002-2226-386X Monika Seisenberger Monika Seisenberger true false fd3b15ff96c5ea91a100131abac558b6 0000-0002-4307-649X Phillip James Phillip James true false 2022-07-23 MACS Conference Paper/Proceeding/Abstract Lecture Notes in Computer Science 13704 246 268 Springer Nature Switzerland Cham 9783031197611 9783031197628 0302-9743 1611-3349 17 10 2022 2022-10-17 10.1007/978-3-031-19762-8_20 COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University 2024-07-29T15:59:42.9077714 2022-07-23T16:51:46.7918786 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Monika Seisenberger 0000-0002-2226-386X 1 Maurice H. ter Beek 0000-0002-2930-6367 2 Xiuyi Fan 0000-0003-1223-9986 3 Alessio Ferrari 0000-0002-0636-5663 4 Anne E. Haxthausen 0000-0001-7349-8872 5 Phillip James 0000-0002-4307-649X 6 Andrew Lawrence 7 Bas Luttik 0000-0001-6710-8436 8 Jaco van de Pol 0000-0003-4305-0625 9 Simon Wimmer 0000-0001-5998-4655 10 60611__24724__37afc2b33c4644d895030efa56599538.pdf Isola2022-submitted.pdf 2022-07-23T16:54:52.0511179 Output 275310 application/pdf Accepted Manuscript true 2023-10-17T00:00:00.0000000 true eng
title Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway
spellingShingle Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway
Monika Seisenberger
Phillip James
title_short Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway
title_full Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway
title_fullStr Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway
title_full_unstemmed Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway
title_sort Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway
author_id_str_mv d035399b2b324a63fe472ce0344653e0
fd3b15ff96c5ea91a100131abac558b6
author_id_fullname_str_mv d035399b2b324a63fe472ce0344653e0_***_Monika Seisenberger
fd3b15ff96c5ea91a100131abac558b6_***_Phillip James
author Monika Seisenberger
Phillip James
author2 Monika Seisenberger
Maurice H. ter Beek
Xiuyi Fan
Alessio Ferrari
Anne E. Haxthausen
Phillip James
Andrew Lawrence
Bas Luttik
Jaco van de Pol
Simon Wimmer
format Conference Paper/Proceeding/Abstract
container_title Lecture Notes in Computer Science
container_volume 13704
container_start_page 246
publishDate 2022
institution Swansea University
isbn 9783031197611
9783031197628
issn 0302-9743
1611-3349
doi_str_mv 10.1007/978-3-031-19762-8_20
publisher Springer Nature Switzerland
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 1
active_str 0
published_date 2022-10-17T15:59:41Z
_version_ 1805925935323545600
score 11.035634

Similar Items