Login
- Titel:
Utilizing dependencies to obtain subsets of reachable sets
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Kochdumper, Niklas; Schürmann, Bastian; Althoff, Matthias
- Kongress- / Buchtitel:
- Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
- Verlag / Institution:
- ACM
- Publikationsdatum:
- 17.04.2020
- Jahr:
- 2020
- Print-ISBN:
- 9781450370189
- Volltext / DOI:
- doi:10.1145/3365365.3382192
BibTeX