Search papers, labs, and topics across Lattice.
University of Oxford
3
0
5
Translating LTL to LTLf+ unlocks efficient finite automata techniques for a wide array of AI applications without sacrificing complexity.
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.
