1 paper
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…