114 citations · 277 across the 33 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.RO2014★ 5 cited
Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control
Jonathan A. DeCastro, Ruediger Ehlers, Matthias Rungger +3
The aim of this work is to address issues where formal specifications cannot be realized on a given dynamical system subjected to a changing environment. Such failures occur whenev…
cs.RO2014★ 1 cited
Unsynthesizable Cores - Minimal Explanations for Unsynthesizable High-Level Robot Behaviors
Vasumathi Raman, Hadas Kress-Gazit
With the increasing ubiquity of multi-capable, general-purpose robots arises the need for enabling non-expert users to command these robots to perform complex high-level tasks. To…