Experimental Evaluation of Acacia-K: A Tool for Synthesis of Reactive Systems from KLTL+ Specifications.

Rodica Condurache

Browse the full SYNASC paper archive.