A Parametrized Propositional Dynamic Logic with Application to Service Synthesis.

Walid Belkhir, Gisela Rossi, Michal Rusinowitch

Browse the full AiML paper archive.