Search papers, labs, and topics across Lattice.
1
0
3
Forget hand-engineered reward shaping: PPO-LTL lets you specify complex safety requirements as LTL formulas and automatically penalizes violations during RL training.