Viktor Kuncak, Etienne Kneuss, and Philippe Suter. Executing specifications using synthesis and constraint solving (invited talk). In Runtime Verification (RV), 2013.

[ bib ] Back