Login / Signup
Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs.
David Harel
Guy Katz
Assaf Marron
Gera Weiss
Published in:
Trans. Comput. Collect. Intell. (2014)
Keyphrases
</>
computer programs
agent architecture
fixpoint
intermediate level
genetic algorithm
learning algorithm
decision trees
java programs
road safety