Travelled to:1 × USA
1 × United Kingdom
Collaborated with:H.Kugler A.Roberts A.Pnueli
Talks about:synthesi (1) synthes (1) control (1) theori (1) requir (1) biolog (1) lsc (1)
Person: Cory Plock
DBLP: Plock:Cory
Contributed to:
2011
2009Wrote 2 papers:
- CAV-2011-KuglerPR #biology
- Synthesizing Biological Theories (HK, CP, AR), pp. 579–584.
- FASE-2009-KuglerPP #requirements #synthesis
- Controller Synthesis from LSC Requirements (HK, CP, AP), pp. 79–93.