Login
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Althoff, M.
- Titel:
- Guaranteed State Estimation in CORA 2021
- 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