( en | de | ru )

 

Disambiguation of "Tsourdos, Antonios"

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.

Antonios Zarkadis

Antonios Renkakos

Antonios Gkogkidis

Antonios Moissidis

Antonios Tsakarestos

 

Other publications of authors with the same name

Fuzzy-hybrid land vehicle driveline modelling based on a moving window subtractive clustering approach., , , and . Int. J. Systems Science, 42 (2): 303-317 (2011)Kripke modelling and verification of temporal specifications of a multiple UAV system., , , and . Ann. Math. Artif. Intell., 63 (1): 31-52 (2011)Model Checking for Decision Making System of Long Endurance Unmanned Surface Vehicle., , , , and . SII, page 256-262. IEEE, (2021)A combinatorial auction framework for decentralised task allocation., , , and . GLOBECOM Workshops, page 1445-1450. IEEE, (2014)3D Car Tracking using Fused Data in Traffic Scenes for Autonomous Vehicle., , and . VEHITS, page 312-318. SciTePress, (2019)Joint probabilistic data association filter with unknown detection probability and clutter rate., , and . MFI, page 559-564. IEEE, (2017)Indoor UAV Control Using Multi-Camera Visual Feedback., , , , , and . Journal of Intelligent and Robotic Systems, 61 (1-4): 57-84 (2011)Sensor based robot localisation and navigation: using interval analysis and unscented Kalman filter., , , and . IROS, page 7-12. IEEE, (2004)Generalized Hybrid Beamforming for Vehicular Connectivity Using THz Massive MIMO., , , , , , , and . IEEE Trans. Vehicular Technology, 68 (9): 8372-8383 (2019)Relation3DMOT: Exploiting Deep Affinity for 3D Multi-Object Tracking from View Aggregation., , and . CoRR, (2020)