Login / Signup

2LS: Arrays and Loop Unwinding - (Competition Contribution).

Viktor MalíkFrantisek NecasPeter SchrammelTomás Vojnar
Published in: TACAS (2) (2023)
Keyphrases
  • international competition
  • real time
  • high level
  • cooperative
  • evolutionary algorithm
  • mobile robot