63 citations · 188 across the 23 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
math.OC2019★ 1 cited
Topological Approximate Dynamic Programming under Temporal Logic Constraints
Lening Li, Jie Fu
In this paper, we develop a Topological Approximate Dynamic Programming (TADP) method for planningin stochastic systems modeled as Markov Decision Processesto maximize the probabil…
cs.FL2019★ 3 cited
Opportunistic Synthesis in Reactive Games under Information Asymmetry
Abhishek N. Kulkarni, Jie Fu
Reactive synthesis is a class of methods to construct a provably-correct control system, referred to as a robot, with respect to a temporal logic specification in the presence of a…
cs.RO2019
A Validated Physical Model For Real-Time Simulation of Soft Robotic Snakes
Renato Gasoto, Miles Macklin, Xuan Liu +4
In this work we present a framework that is capable of accurately representing soft robotic actuators in a multiphysics environment in real-time. We propose a constraint-based dyna…