Walid Belkhir, Gisela Rossi, Michaël Rusinowitch. A Parametrized Propositional Dynamic Logic with Application to Service Synthesis. In Rajeev Goré, Barteld P. Kooi, Agi Kurucz, editors, Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014. pages 34-53, College Publications, 2014. [doi]
Abstract is missing.