Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Vejpustek, T."'
Publikováno v:
EPTCS 125, 2013, pp. 20-36
In our previous work we have introduced the logic STL*, an extension of Signal Temporal Logic (STL) that allows value freezing. In this paper, we define robustness measures for STL* by adapting the robustness measures previously introduced for Metric
Externí odkaz:
http://arxiv.org/abs/1309.0867
Publikováno v:
In Information and Computation August 2014 236:52-67
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Information & Computation. Aug2014, Vol. 236, p52-67. 16p.