Bounded Synthesis of Reactive Programs.

Carsten Gerstacker Felix Klein Bernd Finkbeiner

Published in: CoRR (2018)

Keyphrases

functional programs
database
intermediate level
real time
automatic programming
provably correct
artificial intelligence
computer vision
information systems
computer programs
asymptotically optimal
control structures