---
author:
- 'Davide G. Cavezza'
- Dalal Alrajeh
bibliography:
- 'MyCollection.bib'
title: 'Interpolation-Based GR(1) Assumptions Refinement[^1] '
---

### Acknowledgments

The support of the EPSRC HiPEDS CDT (EP/L016796/1) and Imperial College Junior Research Fellowship is gratefully acknowledged.

[^1]: To appear in TACAS 2017
