23 citations · 45 across the 6 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
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…
cs.SE2014★ 13 cited
Low-Effort Specification Debugging and Analysis
Rüdiger Ehlers, Vasumathi Raman
Reactive synthesis deals with the automated construction of implementations of reactive systems from their specifications. To make the approach feasible in practice, systems engine…