conftrace_

temporal goal

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

Synthesis from Satisficing and Temporal Goals AAAI 2022