Michael Fisher

Introduction to Practical Formal Methods Using Temporal Logic

2012

Upgrade Your Curriculum

2013

Town and the Fury

2024

The Nightmare Man

1996

Short History of the Mughal Empire

2019

Scalability Rules

2016

Digital Learning Strategies

2013

Computational Logic in Multi-Agent Systems

2012

Verifiable Autonomous Systems

2023

The Captives

1971

Oxford Revise

2020

Logics in artificial intelligence

2006

Foundations and applications of multi-agent systems

2006

Fart or a Birdsong

2024

Ditch the Daily Lesson Plan

2015

Cries from the Darkness

1996

Art of Scalability

2015

Alton Towers

1999