by Koay, Kheng Lee, Webster, Matt, Dixon, Clare, Gainer, Paul, Syrdal, Dag, Fisher, Michael, Dautenhahn, Kerstin
Published in Paladyn (Warsaw) (15.09.2021)

by Amos, Martyn, Gainer, Paul, Gwynne, Steve, Templeton, Anne
Published in Safety science (01.07.2024)

by Gainer, Paul, Hahn, Ernst Moritz, Schewe, Sven
Published in Automated Technology for Verification and Analysis (2018)

by Gainer, Paul, Linker, Sven, Dixon, Clare, Hustadt, Ullrich, Fisher, Michael
Published in Formal methods in system design (01.11.2020)

by Gainer, Paul, Hahn, Ernst Moritz, Schewe, Sven
Published in Quantitative Evaluation of Systems (01.01.2018)

by Gainer, Paul
Year of Publication 2020

by Gainer, Paul, Dixon, Clare, Hustadt, Ullrich
Published in Towards Autonomous Robotic Systems (21.06.2016)

by Gainer, Paul, Linker, Sven, Dixon, Clare, Hustadt, Ullrich, Fisher, Michael
Published in Quantitative Evaluation of Systems (2017)

by Gainer, Paul, Linker, Sven, Dixon, Clare, Hustadt, Ullrich, Fisher, Michael
Published in Formal Methods and Software Engineering (2018)

by Urbonas, Marius, Ajileye, Temitope, Gainer, Paul, Pires, Douglas
Year of Publication 15.12.2023

by Hustadt, Ullrich, Gainer, Paul, Dixon, Clare, Nalon, Cláudia, Zhang, Lan
Published in Automated Reasoning with Analytic Tableaux and Related Methods (2015)

by Gainer, Paul, Dixon, Clare, Dautenhahn, Kerstin, Fisher, Michael, Hustadt, Ullrich, Saunders, Joe, Webster, Matt
Published in Critical Systems: Formal Methods and Automated Verification (2017)

by Gainer, Paul, Hahn, Ernst Moritz, Schewe, Sven
Year of Publication 15.05.2018

by Urbonas, Marius, Ajileye, Temitope, Gainer, Paul, Pires, Douglas
Published in arXiv.org (15.12.2023)

by Gainer, Paul, Hahn, Ernst Moritz, Schewe, Sven
Year of Publication 05.04.2018

by Gainer, Paul, Linker, Sven, Dixon, Clare, Hustadt, Ullrich, Fisher, Michael
Year of Publication 27.09.2018

by Gainer, Paul, Linker, Sven, Dixon, Clare, Hustadt, Ullrich, Fisher, Michael
Year of Publication 13.09.2017

by Gainer, Paul, Ernst Moritz Hahn, Schewe, Sven
Published in arXiv.org (02.11.2018)

by Gainer, Paul, Ernst Moritz Hahn, Schewe, Sven
Published in arXiv.org (05.04.2018)

by Gainer, Paul, Linker, Sven, Dixon, Clare, Ullrich Hustadt, Fisher, Michael
Published in arXiv.org (27.09.2018)