1 paper · 1 filter
Patrick Halder, Hannes Homburger, Lothar Kiltz +2
Formulating the intended behavior of a dynamic system can be challenging. Signal temporal logic (STL) is frequently used for this purpose due to its suitability in formalizing comp…