Author of the publication

Kripke modelling and verification of temporal specifications of a multiple UAV system.

, , , and . Ann. Math. Artif. Intell., 63 (1): 31-52 (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Robust performance study for lateral autopilot of a quasi-linear parameter-varying missile., , , and . ACC, page 226-231. IEEE, (2002)Modelling and Verification of Multiple UAV Mission Using SMV, , , and . FMA, volume 20 of EPTCS, page 22-33. (2009)A solution to simultaneous arrival of multiple UAVs using Pythagorean hodograph curves., , , , , and . ACC, page 1-6. IEEE, (2006)Kripke modelling and verification of temporal specifications of a multiple UAV system., , , and . Ann. Math. Artif. Intell., 63 (1): 31-52 (2011)Nonlinear Time-periodic Models of the Longitudinal Flight Dynamics of Desert Locusts schistocerca gregaria, and . Journal of the Royal Society Interface, (2005)Unstructured environmental mapping using low cost sensors., , , and . ICNSC, page 1080-1085. IEEE, (2008)Formalised hybrid control scheme for a UAV group using Dubins set and model checking., , , , , , and . CDC, page 4299-4304. IEEE, (2004)Aim point guidance: an extension of proportional navigation to the control of terminal guidance., , and . ACC, page 384-389. IEEE, (2003)Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice., , , and . Int. J. Systems Science, 37 (6): 339-349 (2006)Airborne Vehicle Mapping of Curvilinear Objects Using 2-D Splinegon., , , , and . IEEE Trans. Instrumentation and Measurement, 59 (7): 1941-1954 (2010)