Clare Dixon

Navedeno

	Vse	Od leta 2020
Navedbe	3497	1355
indeks h	30	16
indeks i10	75	28

300

150

225

19961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202517 19 15 34 57 36 78 66 76 141 109 112 80 97 67 86 98 110 131 130 133 84 123 164 209 271 275 285 267 45

Javni dostop

Prikaži vse

44 člankov

3 članki

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Michael FisherProfessor of Computer Science, University of ManchesterPreverjeni e-poštni naslov na manchester.ac.uk
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolPreverjeni e-poštni naslov na liverpool.ac.uk
Louise DennisDepartment of Computer Science, University of ManchesterPreverjeni e-poštni naslov na manchester.ac.uk
Cláudia NalonComputer Science, University of BrasíliaPreverjeni e-poštni naslov na unb.br
Dr Matt Webster, PhDComputer ScientistPreverjeni e-poštni naslov na liverpool.ac.uk
Boris KonevProfessor of Computer Science, Liverpool UniversityPreverjeni e-poštni naslov na liverpool.ac.uk
Marie FarrellThe University of ManchesterPreverjeni e-poštni naslov na manchester.ac.uk
Alexei LisitsaUniversity of LiverpoolPreverjeni e-poštni naslov na liverpool.ac.uk
Carmen Fernandez GagoUniversity of Malaga (Spain)Preverjeni e-poštni naslov na lcc.uma.es
Matt LuckcuckAssistant Professor of Computer Science, University of NottinghamPreverjeni e-poštni naslov na nottingham.ac.uk
Kerstin DautenhahnCanada 150 Research Chair in Intelligent Robotics, University of WaterlooPreverjeni e-poštni naslov na uwaterloo.ca
Paul GainerPreverjeni e-poštni naslov na exscientia.co.uk
Frans CoenenProfessor in Computer Science, University of Liverpool, Data Mining and Machine Learning GroupPreverjeni e-poštni naslov na liverpool.ac.uk
Michael WooldridgeUniversity of OxfordPreverjeni e-poštni naslov na cs.ox.ac.uk
Alexander BolotovUniversity of WestminsterPreverjeni e-poštni naslov na wmin.ac.uk
Renate A SchmidtSchool of Computer Science, The University of ManchesterPreverjeni e-poštni naslov na cs.man.ac.uk
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupPreverjeni e-poštni naslov na liverpool.ac.uk
Kheng Lee KoayUniversity of HertfortshirePreverjeni e-poštni naslov na herts.ac.uk
Maha SalemWhatsApp/Facebook UKPreverjeni e-poštni naslov na mahasalem.net
A G PipeBristol Robotics LaboratoryPreverjeni e-poštni naslov na brl.ac.uk

Spremljaj

Clare Dixon

University of Manchester

Preverjeni e-poštni naslov na manchester.ac.uk - Domača stran

Verification Automated Reasoning Robotics and Autonomous Systems Artificial Intelligence


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
Formal specification and verification of autonomous robotic systems: A survey M Luckcuck, M Farrell, LA Dennis, C Dixon, M Fisher ACM Computing Surveys (CSUR) 52 (5), 1-41, 2019	362	2019
Clausal temporal resolution M Fisher, C Dixon, M Peim ACM Transactions on Computational Logic (TOCL) 2 (1), 12-56, 2001	254	2001
A resolution-based proof method for temporal logics of knowledge and belief M Fisher, M Wooldridge, C Dixon Practical Reasoning: International Conference on Formal and Applied …, 1996	217	1996
Analysing robot swarm behaviour via probabilistic model checking S Konur, C Dixon, M Fisher Robotics and Autonomous Systems 60 (2), 199-213, 2012	127	2012
On formal specification of emergent behaviours in swarm robotic systems AFT Winfield, J Sa, MC Fernández-Gago, C Dixon, M Fisher International journal of advanced robotic systems 2 (4), 39, 2005	119	2005
Taxonomy of trust-relevant failures and mitigation strategies S Tolmeijer, A Weiss, M Hanheide, F Lindner, TM Powers, C Dixon, ... Proceedings of the 2020 acm/ieee international conference on human-robot …, 2020	112	2020
Resolution for temporal logics of knowledge C Dixon, M Fisher, M Wooldridge Journal of Logic and Computation 8 (3), 345-372, 1998	105	1998
Toward reliable autonomous robotic assistants through formal verification: A case study M Webster, C Dixon, M Fisher, M Salem, J Saunders, KL Koay, ... IEEE Transactions on Human-Machine Systems 46 (2), 186-196, 2015	89	2015
A corroborative approach to verification and validation of human–robot teams M Webster, D Western, D Araiza-Illan, C Dixon, K Eder, M Fisher, AG Pipe The International Journal of Robotics Research 39 (1), 73-99, 2020	83	2020
Towards temporal verification of swarm robotic systems C Dixon, AFT Winfield, M Fisher, C Zeng Robotics and Autonomous Systems 60 (11), 1429-1441, 2012	83	2012
A tableau-based proof method for temporal logics of knowledge and belief M Wooldridge, C Dixon, M Fisher Journal of applied non-classical logics 8 (3), 225-258, 1998	72	1998
An intelligent process model: predicting springback in single point incremental forming MS Khan, F Coenen, C Dixon, S El-Salhi, M Penalva, A Rivero The International Journal of Advanced Manufacturing Technology 76, 2071-2082, 2015	63	2015
An overview of verification and validation challenges for inspection robots M Fisher, RC Cardoso, EC Collins, C Dadswell, LA Dennis, C Dixon, ... Robotics 10 (2), 67, 2021	56	2021
Formal Verification of an Autonomous Personal Robotic Assistant. M Webster, C Dixon, M Fisher, M Salem, J Saunders, KL Koay, ... AAAI Spring Symposia, 2014	56	2014
Mechanising first-order temporal resolution B Konev, A Degtyarev, C Dixon, M Fisher, U Hustadt Information and Computation 199 (1-2), 55-86, 2005	50	2005
Temporal resolution using a breadth-first search algorithm C Dixon Annals of Mathematics and Artificial Intelligence 22, 87-115, 1998	50	1998
Search strategies for resolution in temporal logics C Dixon International Conference on Automated Deduction, 673-687, 1996	46	1996
Combinations of modal logics B Bennett, C Dixon, M Fisher, U Hustadt, E Franconi, I Horrocks, ... Artificial Intelligence Review 17 (1), 1-20, 2002	45	2002
Using temporal logics of knowledge in the formal verification of security protocols C Dixon, MCF Gago, M Fisher, W van der Hoek Proceedings. 11th International Symposium on Temporal Representation and …, 2004	44	2004
Formal verification of probabilistic swarm behaviours S Konur, C Dixon, M Fisher Swarm Intelligence: 7th International Conference, ANTS 2010, Brussels …, 2010	41	2010

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji