activity
20192024
most citedInferring Temporal Logic Properties from Data using Boosted Decision Trees

4 citations · 7 across the 8 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

eess.SY2024

Designing Robust Linear Output Feedback Controller based on CLF-CBF framework via Linear~Programming(LP-CLF-CBF)

Mahroo Bahreinian, Mehdi Kermanshah, Roberto Tron

We consider the problem of designing output feedback controllers that use measurements from a set of landmarks to navigate through a cell-decomposable environment using duality, Co…