Sign in

Symbolic Pathfinder for SV-COMP - (Competition Contribution).

Yannic NollerCorina S. PasareanuAymeric FromherzXuan-Bach Dinh LeWillem Visser
Published in: TACAS (3) (2019)
Keyphrases
  • high level
  • connectionist systems
  • database
  • real world
  • genetic algorithm
  • decision trees
  • three dimensional
  • low level
  • symbolic representation
  • associative learning