( en | de | ru )

 

Disambiguation of "Zbikowski, Rafal"

Author of the publication

copydeleteadd this publication to your clipboard
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.

Willi Zbikowski

Martina Rafalski

Rafal Pietrasik

Rafal Bogacz

Dörte Zbikowski

 

Other publications of authors with the same name

Modelling and Verification of Multiple UAV Mission Using SMV, , , and . FMA, volume 20 of EPTCS, page 22-33. (2009)Robust performance study for lateral autopilot of a quasi-linear parameter-varying missile., , , and . ACC, page 226-231. IEEE, (2002)Nonlinear Time-periodic Models of the Longitudinal Flight Dynamics of Desert Locusts schistocerca gregaria, and . Journal of the Royal Society Interface, (2005)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)Unstructured environmental mapping using low cost sensors., , , and . ICNSC, page 1080-1085. IEEE, (2008)Aim point guidance: an extension of proportional navigation to the control of terminal guidance., , and . ACC, page 384-389. IEEE, (2003)Formalised hybrid control scheme for a UAV group using Dubins set and model checking., , , , , , and . CDC, page 4299-4304. IEEE, (2004)Silson: Cooperative UAVs Mapping Complex Environment using 2D Splinegon., , , , and . ICINCO-RA, page 413-416. INSTICC Press, (2009)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)