Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers

Public

Published in Electronic Proceedings in Theoretical Computer Science • Nov 15, 2023

Authors:

Céline Bellanger

Pierre-Loïc Garoche

Matthieu Martel

Abstract

International audience

Research Assistant

AI chat, annotations, notes & similar papers

Finding related papers...

(0)

No comments yet

Be the first to share your thoughts!