76 citations · 116 across the 44 of their papers we have counts for
1 paper · 1 filter
David Smith Sundarsingh, Jun Wang, Jyotirmoy V. Deshmukh +1
Linear Temporal Logic (LTL) is a widely used task specification language for autonomous systems. To mitigate the significant manual effort and expertise required to define LTL-enco…