Passer au contenu principal
Publication

Designing Human Assisted Wireless Sensor and Robot Networks Using Probabilistic Model Checking