Action Refinement from a Logical Point of View.

Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher

Browse the full VMCAI paper archive.