Constantino Lagoa
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
AI×1Systems and Control×1
Frequent co-authors
Research Timeline
2026
Learning Linear Temporal Specifications from Demonstrations with Uncertainty
This paper presents a framework for learning minimal Linear Temporal Logic (LTL) formulas from uncertain system demonstrations, reducing the problem to Pseudo-Boolean Optimization.
Highlighted terms show continued research focus across papers