4 citations · 7 across the 5 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…