- Specifying and Verifying Distributed Intelligent Systems
- Organising Computation through Dynamic Grouping Michael Fisher1, Chiara Ghidini2, , and Benjamin Hirsch1
- Reducing Code Complexity in Hybrid Autonomous Control Systems Louise. A. Dennis*, Michael Fisher*, Nicholas K. Lincoln**, Alexei Lisitsa*, Sandor M. Veres**
- Model Checking MultiAgent Systems with MABLE # Michael Wooldridge Michael Fisher MarcPhilippe Huget Simon Parsons
- Representing and Executing AgentBased Systems Michael Fisher
- A Normal Form for FirstOrder Temporal Formulae Michael Fisher *
- A Model Checker for Linear Time Temporal Logic Michael Fisher *
- Taming the Complexity of Temporal Epistemic Clare Dixon, Michael Fisher, and Boris Konev
- Exploring the Future with Resource-Bounded Agents [INVITED CONTRIBUTION]
- An Introduction to Executable Modal and Temporal Logics
- A Resolution Method for Temporal Logic Michael Fisher *
- 2 1541-1672/10/$26.002010IEEE Ieee InTeLLIGenT SySTemS Published by the IEEE Computer Society
- A Common Basis for Agent Organisation in BDI Languages
- Verifying UAV Path Planning: A Formal Approach of Choice. Antonios Tsourdos, Brian A White and Rafal bikowski
- The Set of Support Strategy in Temporal Resolution Clare Dixon and Michael Fisher
- METATEM: The Story so Far Michael Fisher
- Logical Implementation of Uncertain Agents Nivea de C. Ferreira, Michael Fisher, and Wiebe van der Hoek
- Towards a Semantics for Concurrent METATEM
- CALL FOR PAPERS Formal Methods in Aerospace: Techniques from Logic, Mathematics and AI
- Model Checking for Multiagent Systems: The MABLE Language and its Applications
- A Decision Procedure for a Temporal Belief Logic Michael Wooldridge and Michael Fisher
- Algorithms for Guiding Clausal Temporal Resolution ?
- A Framework for Programming in Temporal Logic * Howard Barringer + , Michael Fisher + , Dov Gabbay # ,
- Probabilistic Model Checking for Games of Imperfect Information
- Graph Structure Management in Parallel Symbolic Systems * Michael Fisher, Robert Johnson John Keane
- State-Space Reduction Techniques in Agent Verification Rafael H. Bordini
- Uncertain Agent Verification through Probabilistic Model-Checking
- Towards the Implementation of FirstOrder Temporal Resolution: the Expanding Domain Case
- A Survey of Concurrent METATEM ---The Language and its Applications
- Autonomy for Aurora's Mars Missions Mark Woods,
- Fair SMG and Linear Time Model Checking Howard Barringer, Michael D. Fisher and Graham D. Gough *
- Concurrent METATEM ---A Language for Modelling Reactive Systems
- Temporal Logic with Capacity Constraints Clare Dixon, Michael Fisher, and Boris Konev
- International Journal of Cooperative Information Systems, c World Scientific Publishing Company
- COMPUTATIONAL LOGICS AND AGENTS [A Roadmap of Current Technologies and Future Trends]
- METATEM at Work: Modelling Reactive Systems Using Executable Temporal Logic *
- SPECIFYING AND EXECUTING PROTOCOLS FOR COOPERATIVE ACTION
- Realising a Concurrent ObjectBased Programming Model on Parallel Virtual Shared Memory Architectures *
- 46 1541-1672/04/$20.00 2004 IEEE IEEE INTELLIGENT SYSTEMS Published by the IEEE Computer Society
- Executing Logical Agent Specifications Michael Fisher and Anthony Hepple
- From the Past to the Future: Executing Temporal Logic Programs
- Verifying Autonomous Agents Rafael H. Bordini1
- THE SKYLON SPACEPLANE -A MOTIVATION FOR AGENTS IN SPACE
- Computerphobia in Adult Learners Michael Fisher
- Deductive verification of simple foraging robotic behaviours
- AUTONOMOUS CONTROL SYSTEMS FOR SATELLITE FORMATION FLYING Prof Sandor M Veres
- Concurrent METATEM Processes --A Language for Distributed AI Michael Fisher and Howard Barringer *
- Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning
- MetaReasoning in Executable Temporal Logic Howard Barringer Michael Fisher
- Human and Robot Teamwork on Mars or Moon
- A Formal Semantics for Brahms Technical Report Richard Stocker1
- Formal Verification of Probabilistic Swarm Behaviours Savas Konur, Clare Dixon and Michael Fisher
- Specifying and Reasoning about Uncertain Agents Nivea de Carvalho Ferreira, Michael Fisher & Wiebe van der Hoek
- Is There a Future for Deductive Temporal Verification? Clare Dixon, Michael Fisher and Boris Konev
- Verifying Multi-Agent Programs by Model Checking
- Monodic Temporal Resolution ANATOLY DEGTYAREV
- MoChArt 2005 Preliminary Version Automated Game Analysis via Probabilistic
- Temporal Development Methods for Agent-Based MICHAEL FISHER m.fisher@csc.liv.ac.uk
- Practical Reasoning for Uncertain Agents Nivea de C. Ferreira, Michael Fisher, and Wiebe van der Hoek
- Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols
- A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution
- Bibliography [ Aqvist, 1979] L. Aqvist. A Conjectured Axiomatization of Two-Dimensional Reichenbachian Tense
- Verifying Aerospace Software Willem Visser
- Liverpool Scientists To Develop Space Robots With NASA LIVERPOOL, UK 18 July 2005: Scientists from the Research Institute for Advanced
- Final Year Project COMP390/393/394/395COMP390/393/394/395
- Translating Temporal Epistemic Logics to Monodic First-Order Temporal Logic
- Using Temporal Logic to Specify Emergent Behaviours in Swarm Robotic Systems
- A GraphBased Approach To Resolution In Temporal Logic ?
- Temporal Logic [Language, Intuition and Possibilities]
- Temporal Logic [Introducing Formal Methods]
- Temporal Logic [Syntax and Semantics]
- Temporal Logic [Esoterica]
- Temporal Logic [Language, Intuition and Possibilities]
- Temporal Specification [Communication]
- Temporal Specification [Programming Language Semantics]
- Temporal Representation and Reasoning Michael Fisher
- Temporal Specification [Models and Programs]
- Temporal Specification [Refinement and Concurrency]
- Temporal Resolution [Introducing Temporal Proof]
- Temporal Resolution [Normal Form]
- Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification
- CALL FOR PAPERS 13th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-XIII)
- Analysing Robot Swarm Behaviour via Probabilistic Model Checking
- Temporal Specification [Specification Esoterica]
- Temporal Resolution [Normal Form]
- Model Checking Agent Programming Languages Louise A. Dennis Michael Fisher Matthew P. Webster Rafael H. Bordini
