Zobrazeno 1 - 10
of 45
pro vyhledávání: '"Tappler M."'
Publikováno v:
2022 IEEE Conference on Software Testing, Verification and Validation (ICST).
Software systems may fail in production environments, causing system crashes, erroneous outputs, and overall system instability. Thoroughly testing software systems in development environments can reduce but not avoid failures, due to both the comple
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::700e1bf9f8cba825578bf1f618455b02
https://doi.org/10.1109/icst53961.2022.00017
https://doi.org/10.1109/icst53961.2022.00017
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.
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.
Publikováno v:
ACC
Chiu, G. (ed.), ACC 2021: American Control Conference will be held virtually from Tuesday to Friday, May 25-28, 2021, pp. 3467-3474
Chiu, G. (ed.), ACC 2021: American Control Conference will be held virtually from Tuesday to Friday, May 25-28, 2021, 3467-3474. New York : IEEE
STARTPAGE=3467;ENDPAGE=3474;TITLE=Chiu, G. (ed.), ACC 2021: American Control Conference will be held virtually from Tuesday to Friday, May 25-28, 2021
Chiu, G. (ed.), ACC 2021: American Control Conference will be held virtually from Tuesday to Friday, May 25-28, 2021, pp. 3467-3474
Chiu, G. (ed.), ACC 2021: American Control Conference will be held virtually from Tuesday to Friday, May 25-28, 2021, 3467-3474. New York : IEEE
STARTPAGE=3467;ENDPAGE=3474;TITLE=Chiu, G. (ed.), ACC 2021: American Control Conference will be held virtually from Tuesday to Friday, May 25-28, 2021
This paper targets control problems that exhibit specific safety and performance requirements. In particular, the aim is to ensure that an agent, operating under uncertainty, will at runtime strictly adhere to such requirements. Previous works create
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cf2fc7b872940dce9935f48d8d497a34
https://doi.org/10.23919/acc50511.2021.9482889
https://doi.org/10.23919/acc50511.2021.9482889
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.
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.
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.
Conference
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.
Conference
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.
Conference
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.