63 citations · 188 across the 23 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
math.OC2018★ 1 cited
Compositional planning in Markov decision processes: Temporal abstraction meets generalized logic composition
Xuan Liu, Jie Fu
In hierarchical planning for Markov decision processes (MDPs), temporal abstraction allows planning with macro-actions that take place at different time scale in form of sequential…
eess.SY2018★ 6 cited
Minimum Violation Control Synthesis on Cyber-Physical Systems under Attacks
Luyao Niu, Jie Fu, Andrew Clark
Cyber-physical systems are conducting increasingly complex tasks, which are often modeled using formal languages such as temporal logic. The system's ability to perform the require…
cs.AI2018
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes
Steven Carr, Nils Jansen, Ralf Wimmer +2
We study planning problems where autonomous agents operate inside environments that are subject to uncertainties and not fully observable. Partially observable Markov decision proc…