Login / Signup
Non-intrusive Repair of Reactive Programs.
David Harel
Guy Katz
Assaf Marron
Gera Weiss
Published in:
ICECCS (2012)
Keyphrases
</>
damage assessment
computer programs
databases
decision making
e learning
case study
image sequences
expert systems
evolutionary algorithm
open source
control flow
automatic programming
reactive planning