Compositional Algorithms for LTL Synthesis.
Emmanuel FiliotNaiyong JinJean-François RaskinPublished in: ATVA (2010)
Keyphrases
- learning algorithm
- recently developed
- times faster
- machine learning algorithms
- orders of magnitude
- computer vision
- data structure
- computational cost
- benchmark datasets
- data mining techniques
- temporal logic
- computationally expensive
- model checking
- data mining algorithms
- neural network
- computational complexity
- image sequences
- social networks
- real world