Deep Specifications and Certified Abstraction Layers.
Ronghui GuJérémie KoenigTahina RamananandroZhong ShaoXiongnan (Newman) WuShu-Chun WengHaozhong ZhangYu GuoPublished in: POPL (2015)
Keyphrases
- high level
- multiple layers
- bounded model checking
- formal specification
- data abstraction
- deep belief networks
- multi layer
- gis data
- functional requirements
- neural network
- single layer
- deep learning
- belief nets
- attribute grammars
- delay insensitive
- decision theoretic planning
- temporal abstractions
- low level
- artificial neural networks
- search algorithm
- website
- artificial intelligence
- genetic algorithm