Optimized Synthesis of Dedicated Controllers with Concurrent Checking Capabilities.

Régis Leveugle Gabriele Saucier

Published in: ITC (1989)

Keyphrases

controller synthesis
control system
real time
program synthesis
computational power
concurrent programs
artificial intelligence
reinforcement learning
control strategy
control algorithm
control strategies
mutual exclusion
functional programs
evolutionary robotics