Login / Signup
Scenic: a language for scenario specification and data generation.
Daniel J. Fremont
Edward Kim
Tommaso Dreossi
Shromona Ghosh
Xiangyu Yue
Alberto L. Sangiovanni-Vincentelli
Sanjit A. Seshia
Published in:
Mach. Learn. (2023)
Keyphrases
</>
data generation
specification language
programming language
formal language
operational semantics
formal languages
active learning
natural language
streaming data
high throughput
data streams
co training
formal specification
data mining
small number
pairwise
image processing