@Inproceedings{EPTCS371.4, author = {Grundt, Dominik and K\"ohne, Anna and Saxena, Ishan and Stemmer, Ralf and Westphal, Bernd and M\"ohlmann, Eike}, year = {2022}, title = {Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions}, editor = {Luckcuck, Matt and Farrell, Marie}, booktitle = {{\rm Proceedings Fourth International Workshop on} Formal Methods for Autonomous Systems (FMAS) {\rm and Fourth International Workshop on} Automated and verifiable Software sYstem DEvelopment (ASYDE), {\rm Berlin, Germany, 26th and 27th of September 2022}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {371}, publisher = {Open Publishing Association}, pages = {53-61}, doi = {10.4204/EPTCS.371.4}, }