Login / Signup
Synthesis of Cost-optimized Controllers from Scenario-based GR(1) Specifications.
Daniel Gritzner
Joel Greenyer
Published in:
Modellierung (2018)
Keyphrases
</>
cost sensitive
controller synthesis
reinforcement learning
high cost
machine learning
control system
total cost
minimum cost
formal specification
program synthesis
delay insensitive