Synthesis of live behaviour models for fallible domains.

Nicols D'Ippolito, Vctor A. Braberman, Nir Piterman, Sebastin Uchitel

Browse the full ICSE paper archive.