Number of items: 2.
B
Beutner, Raven and Finkbeiner, Bernd and Hecking-Harbusch, Jesko
(2019)
Translating Asynchronous Games for Distributed
Synthesis.
F
Faymonville, Peter and Finkbeiner, Bernd and Schledjewski, Malte and Schwenger, Maximilian and Tentrup, Leander and Torfah, Hazem
(2019)
Real-time Stream Monitoring with StreamLAB.
This list was generated on Sun Sep 7 03:46:31 2025 CEST.