Re: [PATCH v2 13/22] rv: Add support for LTL monitors

Nam Cao
2025-04-16T03:55:23Z

On Tue, Apr 15, 2025 at 03:22:09PM +0200, Gabriele Monaco wrote:
> You probably read a lot to write this, do you mind adding a brief
> Reference section for the curious reader? Asking for a friend ;)

I actually learned lots of it during university.

But I certainly can link some materials.

Best regards,
Nam