( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Modelling and Verification of Multiple UAV Mission Using SMV

, , , и . FMA, том 20 из EPTCS, стр. 22-33. (2009)

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.

Willi Zbikowski

Martina Rafalski

Rafal Pietrasik

Rafal Bogacz

Dörte Zbikowski

 

Другие публикации лиц с тем же именем

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