{"inproceedings":{"@attributes":{"key":"conf\/hybrid\/FinkbeinerMPSS22","mdate":"2025-03-03"},"author":["Bernd Finkbeiner","Kaushik Mallik","Noemi Passing","Malte Schledjewski","Anne-Kathrin Schmuck"],"title":"BOCoSy: Small but Powerful Symbolic Output-Feedback Control.","pages":"24:1-24:11","year":"2022","booktitle":"HSCC","ee":["https:\/\/doi.org\/10.1145\/3501710.3519535","https:\/\/www.wikidata.org\/entity\/Q131114015"],"crossref":"conf\/hybrid\/2022","url":"db\/conf\/hybrid\/hscc2022.html#FinkbeinerMPSS22"}}