conftrace_

satisficing reward

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

temporal goal (1) robotic planning (1) reactive synthesis (1) linear temporal logic (1) discounted reward (1)

Papers

Synthesis from Satisficing and Temporal Goals AAAI 2022