Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability.

Michal Cadilhac, Guillermo A. Prez

Browse the full TACAS paper archive.