63 citations · 188 across the 23 of their papers we have counts for
4 papers · 1 filter
Pareto efficiency in synthesizing shared autonomy policies with temporal logic constraints
Jie Fu, Ufuk Topcu
In systems in which control authority is shared by an autonomous controller and a human operator, it is important to find solutions that achieve a desirable system performance with…
Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations
Jie Fu, Ufuk Topcu
We introduce the notion of online reactive planning with sensing actions for systems with temporal logic constraints in partially observable and dynamic environments. With incomple…
Abstractions and sensor design in partial-information, reactive controller synthesis
Jie Fu, Rayna Dimitrova, Ufuk Topcu
Automated synthesis of reactive control protocols from temporal logic specifications has recently attracted considerable attention in various applications in, for example, robotic…
Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints
Jie Fu, Ufuk Topcu
We consider synthesis of control policies that maximize the probability of satisfying given temporal logic specifications in unknown, stochastic environments. We model the interact…