Strix: Explicit Reactive Synthesis Strikes Back!
Philipp J. MeyerSalomon SickertMichael LuttenbergerPublished in: CAV (1) (2018)
Keyphrases
- texture synthesis
- agent architecture
- explicitly represented
- program synthesis
- preprocessing
- database
- multiresolution
- reactive planning
- reactive agents
- intelligent agents
- probabilistic model
- special case
- user interface
- trade off
- expert systems
- cooperative
- bayesian networks
- image processing
- genetic algorithm
- neural network