Étienne André, Hoang Gia Nguyen, Laure Petrucci. Efficient Parameter Synthesis Using Optimized State Exploration Strategies. In 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017, Fukuoka, Japan, November 5-8, 2017. pages 1-10, IEEE Computer Society, 2017. [doi]
Abstract is missing.