SySCoRe: Synthesis via Stochastic Coupling Relations.
Birgit van HuijgevoortOliver SchönSadegh SoudjaniSofie HaesaertPublished in: HSCC (2023)
Keyphrases
- semantic relations
- program synthesis
- stochastic processes
- computer vision
- artificial neural networks
- monte carlo
- stochastic optimization
- spatial relations
- stochastic nature
- stochastic models
- markov processes
- learning automata
- temporal relations
- stochastic model
- database
- attribute values
- rough sets
- multiscale
- artificial intelligence