Search papers, labs, and topics across Lattice.
University of Oxford
1
0
1
Obligation properties in LTLfp can be synthesized in linear time, matching the effectiveness of LTLf synthesis while leveraging the simplicity of infinite trace representations.
