Scenic: a language for scenario specification and scene generation.
Daniel J. FremontTommaso DreossiShromona GhoshXiangyu YueAlberto L. Sangiovanni-VincentelliSanjit A. SeshiaPublished in: PLDI (2019)
Keyphrases
- specification language
- operational semantics
- programming language
- action language
- natural language
- language learning
- formal language
- d scene
- formal languages
- single image
- video sequences
- scene classification
- formal specification
- scene understanding
- multiple images
- description language
- definition language
- indoor and outdoor
- real world scenes
- scene analysis
- real scenes
- modeling language
- dynamic scenes
- linear temporal logic
- three dimensional
- script language
- generation process
- outdoor scenes
- complex scenes
- geometric constraints
- super resolution
- object oriented
- image sequences
- high level