Romain Brenguier, Jean-François Raskin, Ocan Sankur. Assume-admissible synthesis. Acta Informatica, 54(1):41-83, 2017. [doi]
@article{BrenguierRS17, title = {Assume-admissible synthesis}, author = {Romain Brenguier and Jean-François Raskin and Ocan Sankur}, year = {2017}, doi = {10.1007/s00236-016-0273-2}, url = {http://dx.doi.org/10.1007/s00236-016-0273-2}, researchr = {https://researchr.org/publication/BrenguierRS17}, cites = {0}, citedby = {0}, journal = {Acta Informatica}, volume = {54}, number = {1}, pages = {41-83}, }