Christian Appold

Learn More
One technique to reduce the state-space explosion problem in temporal logic model checking is symmetry reduction. The combination of symmetry reduction and symbolic model checking by using BDDs suffered a long time from the prohibitively large BDD for the orbit relation. Dynamic symmetry reduction calculates representatives of equivalence classes of states(More)
One important application field for wireless sensor networks (WSN) is object localization, thus various realizations yet exist. Here we are just interested in RSSI based localization systems. In particular, we focus on analyzing diverse system parameters, like radio base frequency, transmitting power, or modulation format, to improve the expressiveness of(More)
  • 1