"Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks."

David Gundana, Hadas Kress-Gazit (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics