Collaborated with:
D.J.Fremont T.Dreossi S.Ghosh A.L.Sangiovanni-Vincentelli S.A.Seshia
Talks about:
scenario (1) languag (1) generat (1) specif (1) scenic (1) scene (1)
Person: Xiangyu Yue
DBLP: Yue:Xiangyu
Contributed to:
Wrote 1 papers:
- PLDI-2019-FremontDGYSS #generative #named #specification
- Scenic: a language for scenario specification and scene generation (DJF, TD, SG, XY, ALSV, SAS), pp. 63–78.