497 citations · 2.1k across the 297 of their papers we have counts for
Showing 2014 · eess.SYShow all
3 papers · 2 filters
eess.SY2014★ 3 cited
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…
eess.SY2014
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…
eess.SY2014★ 63 cited
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…