Login / Signup

Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs.

David HarelGuy KatzAssaf MarronGera 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