Computation in networks of passively mobile finite-state sensors.
Dana AngluinJames AspnesZoë DiamadiMichael J. FischerRené PeraltaPublished in: PODC (2004)
Keyphrases
- finite state
- markov chain
- markov decision processes
- model checking
- water distribution networks
- wearable devices
- mobile phone
- mobile devices
- optimal policy
- sensor data
- sensor networks
- social networks
- transition systems
- finite state transducers
- mobile nodes
- vector quantizer
- machine learning
- partially observable markov decision processes
- tree automata
- temporal logic
- action sets
- hidden markov models