Login / Signup
Guided Synthesis of Control Programs Using UPPAAL.
Thomas Hune
Kim Guldstrand Larsen
Paul Pettersson
Published in:
ICDCS Workshop on Distributed System Validation and Verification (2000)
Keyphrases
</>
control structures
control program
control system
functional programs
process control
program synthesis
data sets
databases
genetic algorithm
artificial intelligence
image sequences
control strategy
computer programs
control theory
automatic programming
controller synthesis