@Inproceedings{EPTCS395.14, author = {Bellanger, C\'eline and Garoche, Pierre-Lo\"ic and Martel, Matthieu and Picard, C\'elia}, year = {2023}, title = {Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers}, editor = {Farrell, Marie and Luckcuck, Matt and Gleirscher, Mario and Schwammberger, Maike}, booktitle = {{\rm Proceedings Fifth International Workshop on} Formal Methods for Autonomous Systems, {\rm Leiden, The Netherlands, 15th and 16th of November 2023}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {395}, publisher = {Open Publishing Association}, pages = {188-204}, doi = {10.4204/EPTCS.395.14}, }