R. Zbikowski

A Review of Formal Modelling Approaches and its Application to a Co-operative , Decentralised Robot Scenario with Minimalist Communication

A. Tsourdos, B. White, S. Jeyaraman, 2004 .

A Hybrid control approach to autonomous navigation in cooperative multi-robot systems using Kripke models and model checking

Antonios Tsourdos, Brian White, Suresh Jeyaraman, 2004 .

Co-operative unmanned aerial vehicle searching and mapping of complex obstacles using two-dimensional splinegon

Antonios Tsourdos, Rafał Żbikowski, Brian White, 2010 .

Computational optimal control of the terminal bunt manoeuvre—Part 1: minimum altitude case

Subchan, R. Zbikowski, S. Subchan, 2007 .

Formal techniques for the modelling and validation of a co-operating UAV team that uses Dubins set for path planning

A. Tsourdos, B. White, Suresh Jeyaraman, 2005, Proceedings of the 2005, American Control Conference, 2005..

Kripke modelling of multiple robots with decentralized cooperation specified with temporal logic

Antonios Tsourdos, Brian White, Rafal Zbikowski, 2005 .