History
1
au:Savas, D*
4


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 | next | last

Result 1 to 4 of 4 total

Analysing robot swarm behaviour via probabilistic model checking. (English)
Robot. Auton. Syst. 60, No. 2, 199-213 (2012).
WorldCat.org
1
PDF XML AMS-TeX TEXT BIBTeX DOI
CAIMAN: an online algorithm repository for cancer image analysis. (English)
Comput. Methods Progr. Biomed. 103, No. 2, 97-103 (2011).
WorldCat.org
2
PDF XML AMS-TeX TEXT BIBTeX DOI
Formal verification of probabilistic swarm behaviours. (English)
Dorigo, Marco (ed.) et al., Swarm intelligence. 7th international conference, ANTS 2010, Brussels, Belgium, September 8‒10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15460-7/pbk). Lecture Notes in Computer Science 6234, 440-447 (2010).
WorldCat.org
3
PDF XML AMS-TeX TEXT BIBTeX DOI
Formal verification of probabilistic swarm behaviours (English)
ANTS Conference, 440-447 (2010).
WorldCat.org
4
PDF XML AMS-TeX TEXT BIBTeX DOI
first | previous | 1 | next | last

Result 1 to 4 of 4 total

Valid XHTML 1.0 Transitional Valid CSS!