No Cover Image

Conference Paper/Proceeding/Abstract 504 views

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

Full text not available from this repository: check for access using links below.

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"?><rfc1807><datestamp>2022-11-17T15:05:16.7753127</datestamp><bib-version>v2</bib-version><id>60611</id><entry>2022-07-23</entry><title>Safe and&#xA0;Secure Future AI-Driven Railway Technologies: Challenges for&#xA0;Formal Methods in&#xA0;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>SCS</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>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><funders/><projectreference/><lastEdited>2022-11-17T15:05:16.7753127</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>Under embargo</filename><originalFilename>Under embargo</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 2022-11-17T15:05:16.7753127 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 SCS 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 Computer Science COLLEGE CODE SCS Swansea University 2022-11-17T15:05:16.7753127 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 Under embargo Under embargo 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 0
active_str 0
published_date 2022-10-17T04:18:51Z
_version_ 1763754253470400512
score 11.013731

Similar Items