Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement.
Kailun LuoYongmei LiuPublished in: AAAI (2022)
Keyphrases
- optimal strategy
- selection strategies
- optimization strategies
- selection strategy
- search strategies
- program synthesis
- adaptive strategies
- semi automated
- mixed strategy
- retrieval strategies
- affine transformation
- adaptation strategies
- model checking
- automated analysis
- formal verification
- case study
- active learning strategies
- evolutionary game theory
- search strategy
- computer aided
- medical images
- multiscale