Formula Synthesis in Propositional Dynamic Logic with Shuffle.

Sophie Pinchinat, Sasha Rubin, Franois Schwarzentruber

Browse the full AAAI paper archive.