Antichains and compositional algorithms for LTL synthesis.
Emmanuel FiliotNaiyong JinJean-François RaskinPublished in: Formal Methods Syst. Des. (2011)
Keyphrases
- benchmark datasets
- significant improvement
- multi objective
- temporal logic
- recently developed
- data structure
- machine learning
- objective function
- search algorithm
- computational complexity
- case study
- database
- computational cost
- optimization problems
- theoretical analysis
- machine learning algorithms
- social networks
- orders of magnitude
- computational efficiency
- computationally expensive
- learning algorithm