Skip to Content

autore : Clare Dixon

2 pubblicazioni
page_white_acrobat Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems (2011) — Clare Dixon, Alan Winfield, Micheal Fisher
page_white_acrobat Formal Verification of Probabilistic Swarm Behaviours (2010) — Savas Konur, Clare Dixon, Michael Fisher
[ Nuvola degli autori  /  pubblicazioni ]