Towards Informed Swarm Verification [chapter]

Anton Wijs
2011 Lecture Notes in Computer Science  
doi:10.1007/978-3-642-20398-5_30 fatcat:w2s35qse2fd3ho5kq43tglt3hu