12 citations · 25 across the 12 of their papers we have counts for
1 paper · 1 filter
George K. Atia, Andre Beckus, Ismail Alkhouri +1
The planning domain has experienced increased interest in the formal synthesis of decision-making policies. This formal synthesis typically entails finding a policy which satisfies…