Collaborated with:S.Sickert M.Luttenberger
Talks about:synthesi (1) explicit (1) reactiv (1) strike (1) strix (1) back (1)
Person: Philipp J. Meyer
DBLP: Meyer:Philipp_J=
Contributed to:
2018Wrote 1 papers:
- CAV-2018-MeyerSL #exclamation #named #synthesis
- Strix: Explicit Reactive Synthesis Strikes Back! (PJM, SS, ML), pp. 578–586.