Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1 Publication
2022 | Published | Conference Paper | IST-REx-ID: 12530
Finkbeiner, Bernd, Kaushik Mallik, Noemi Passing, Malte Schledjewski, and Anne-Kathrin Schmuck. “BOCoSy: Small but Powerful Symbolic Output-Feedback Control.” In 25th ACM International Conference on Hybrid Systems: Computation and Control, 24:1-24:11. ACM, 2022. https://doi.org/10.1145/3501710.3519535.
View
| DOI