Author of the publication

Combining stigmergic and flocking behaviors to coordinate swarms of drones performing target search.

, , and . IISA, page 1-6. IEEE, (2015)

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

Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems., , , and . FORTE, volume 107 of IFIP Conference Proceedings, page 519-534. Chapman & Hall, (1997)A user-friendly interface to specify temporal properties of concurrent systems., , and . Inf. Sci., 177 (1): 299-311 (2007)Logic Based Abstractions of Real-Time Systems., , , and . Formal Methods Syst. Des., 17 (3): 201-220 (2000)Model Checking Properties on Reduced Trace Systems., and . Algorithms, 7 (3): 339-362 (2014)Reusing LOTOS specifications., and . Microprocess. Microsystems, 25 (6): 309-314 (2001)Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations., and . J. Autom. Reason., 30 (1): 33-58 (2003)Using Smartwatch Sensors to Support the Acquisition of Sleep Quality Data for Supervised Machine Learning., , , and . MobiHealth, volume 192 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 251-259. Springer, (2016)Detecting User's Behavior Shift with Sensorized Shoes and Stigmergic Perceptrons., , , , , , and . ISCT, page 265-268. IEEE, (2019)Enhancing biologically inspired swarm behavior: Metaheuristics to foster the optimization of UAVs coordination in target search., , and . Comput. Oper. Res., (2019)A Formula Driven Incremental Construction of Web Service Compositions., , and . ICSOFT (1), page 13-22. INSTICC Press, (2009)