Login / Signup

Synthesizing Best-effort Strategies under Multiple Environment Specifications.

Benjamin AminofGiuseppe De GiacomoAlessio LomuscioAniello MuranoSasha Rubin
Published in: KR (2021)
Keyphrases
  • logic programs
  • real time
  • case study
  • high level
  • evolutionary algorithm
  • test bed
  • complex environments