Folgen
Clare Dixon
Titel
Zitiert von
Zitiert von
Jahr
Clausal temporal resolution
M Fisher, C Dixon, M Peim
ACM Transactions on Computational Logic (TOCL) 2 (1), 12-56, 2001
2462001
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
2182019
Analysing robot swarm behaviour via probabilistic model checking
S Konur, C Dixon, M Fisher
Robotics and Autonomous Systems 60 (2), 199-213, 2012
1142012
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
1112005
Resolution for temporal logics of knowledge
C Dixon, M Fisher, M Wooldridge
Journal of Logic and Computation 8 (3), 345-372, 1998
1021998
Towards temporal verification of swarm robotic systems
C Dixon, AFT Winfield, M Fisher, C Zeng
Robotics and Autonomous Systems 60 (11), 1429-1441, 2012
802012
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
792015
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
711998
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
602020
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
602020
Formal verification of an autonomous personal robotic assistant
M Webster, C Dixon, M Fisher, M Salem, J Saunders, K Koay, ...
Formal Verification and Modeling in Human-Machine Systems, 2014
542014
Mechanising first-order temporal resolution
B Konev, A Degtyarev, C Dixon, M Fisher, U Hustadt
Information and Computation 199 (1-2), 55-86, 2005
502005
Temporal resolution using a breadth-first search algorithm
C Dixon
Annals of Mathematics and Artificial Intelligence 22, 87-115, 1998
501998
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
482015
Search strategies for resolution in temporal logics
C Dixon
Automated Deduction—Cade-13: 13th International Conference on Automated …, 1996
481996
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
442004
Combinations of modal logics
B Bennett, C Dixon, M Fisher, U Hustadt, E Franconi, I Horrocks, ...
Artificial Intelligence Review 17 (1), 1-20, 2002
442002
Clausal resolution for normal modal logics
C Nalon, C Dixon
Journal of Algorithms 62 (3-4), 117-134, 2007
382007
Formal verification of probabilistic swarm behaviours
S Konur, C Dixon, M Fisher
Swarm Intelligence: 7th International Conference, ANTS 2010, Brussels …, 2010
352010
Verifying brahms human-robot teamwork models
R Stocker, L Dennis, C Dixon, M Fisher
Logics in Artificial Intelligence: 13th European Conference, JELIA 2012 …, 2012
322012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20