Guaranteed State Estimation in CORA 2021

Titel:: Guaranteed State Estimation in CORA 2021
Dokumenttyp:: Konferenzbeitrag
Autor(en):: Althoff, M.
Stichworte:: justITSELF
Herausgeber:: Frehse, G.; Althoff, M.
Kongress- / Buchtitel:: Proc. of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems
Band / Teilband / Volume:: 80
Verlag / Institution:: EasyChair
Jahr:: 2021
Seiten:: 161–175
Serientitel:: EPiC Series in Computing
Volltext / DOI:: doi:10.29007/7m2k
WWW:: https://easychair.org/publications/paper/hMPK
BibTeX

Vorkommen: