S. Jeyaraman

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 .

Formalised hybrid control scheme for a UAV group using Dubins set and model checking

A. Tsourdos, R. Zbikowski, B. White, 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

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

Antonios Tsourdos, Brian White, Rafal Zbikowski, 2005 .

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 .

Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice

Antonios Tsourdos, Rafal Zbikowski, Brian A. White, 2006, Int. J. Syst. Sci..

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..