GR(1) synthesis for LTL specification patterns

Maoz, Shahar; Ringert, Jan Oliver (2016): GR(1) synthesis for LTL specification patterns. Software Engineering 2016. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-646-6. pp. 103-104. Wien. 23.-26. Februar 2016