Search papers, labs, and topics across Lattice.
University of Oxford
2
0
3
Obligation properties in LTLfp can be synthesized in linear time, matching the effectiveness of LTLf synthesis while leveraging the simplicity of infinite trace representations.
Agentic Business Process Management offers a blueprint for aligning AI agents with organizational goals, moving beyond simple automation to a framework of constrained autonomy.
