Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications
Incremental quantitative verification for Markov decision processes