16 citations · 37 across the 7 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018★ 5 cited
Learning Linear Temporal Properties
Daniel Neider, Ivan Gavran
We present two novel algorithms for learning formulas in Linear Temporal Logic (LTL) from examples. The first learning algorithm reduces the learning task to a series of satisfiabi…
cs.RO2018★ 2 cited
Precise but Natural Specification for Robot Tasks
Ivan Gavran, Brendon Boldt, Eva Darulova +1
We present Flipper, a natural language interface for describing high-level task specifications for robots that are compiled into robot actions. Flipper starts with a formal core la…