Verifiable autonomous systems : using rational agents to provide assurance about decisions made by machines

by Dennis, Louise, Fisher, Michael
Published 2023

An introduction to practical formal methods using temporal logic

by Fisher, Michael
Published 2011

Computational Logic in Multi-Agent Systems : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings

Published 2012

Executable Modal and Temporal Logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings

Published 1995

Foundations and Applications of Multi-Agent Systems : UKMAS Workshop 1996-2000, Selected Papers

Published 2002

Computational Logic in Multi-Agent Systems : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

Published 2009

Foundations and Applications of Multi-Agent Systems : UKMAS Workshops 1996–2000 Selected Papers

by d’Inverno, Mark
Published 2002

Computational Logic in Multi-Agent Systems : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers

Published 2010

Advances in Temporal Logic

Published 2000

Logics in Artificial Intelligence : 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings

Published 2006

Executable Modal and Temporal Logics : IJCAI '93 Workshop Chambery, France, August 28, 1993 Proceedings

by Fisher, Michael
Published 1995