Guaranteed State Estimation in CORA 2021

Title:: Guaranteed State Estimation in CORA 2021
Document type:: Konferenzbeitrag
Author(s):: Althoff, M.
Keywords:: justITSELF
Editor:: Frehse, G.; Althoff, M.
Book / Congress title:: Proc. of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems
Volume:: 80
Publisher:: EasyChair
Year:: 2021
Pages:: 161–175
Bookseries title:: EPiC Series in Computing
Fulltext / DOI:: doi:10.29007/7m2k
WWW:: https://easychair.org/publications/paper/hMPK
BibTeX

Occurrences: