52 citations · 52 across the 2 of their papers we have counts for
Showing cs.ROShow all
2 papers · 1 filter
cs.RO2023
Online Modifications for Event-based Signal Temporal Logic Specifications
David Gundana, Hadas Kress-Gazit
In this paper we present a grammar and control synthesis framework for online modification of Event-based Signal Temporal Logic (STL) specifications, during execution. These modifi…
cs.RO2020★ 52 cited
Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks
David Gundana, Hadas Kress-Gazit
We propose a new specification language and control synthesis technique for single and multi-robot high-level tasks; these tasks include timing constraints and reaction to environm…