Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach.

Fadi A. Aloul, Nagarajan Kandasamy

Browse the full SAT paper archive.