Inferring Sensor Placement Using Critical Pairs and Satisfiability Modulo Theory.

Alexander Diedrich, Ren Heesch, Marco Bozzano, Bjrn Ludwig, Alessandro Cimatti, Oliver Niggemann

Browse the full DX paper archive.