Infinite-state backward exploration of Boolean broadcast programs.
Peizun LiuThomas WahlPublished in: FMCAD (2014)
Keyphrases
- real valued
- boolean functions
- data broadcasting
- automatic programming
- artificial intelligence
- forward search
- provably correct
- control structures
- data management
- boolean queries
- bi directional
- intermediate level
- data dissemination
- multi valued
- active exploration
- java programs
- neural network
- sensor networks
- user interface
- information technology
- multi agent
- search engine
- machine learning
- data mining