sentence1: more recently , game models have been intensively studied for their applications in computer science .
sentence2: infinite-duration game models have been intensively studied for their applications in computer science .