DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-032-32519-8_13,22719,ToHe,"Decoupled planning for multiple omega-regular objectives"