menu

Rayhana Amjad

0000-0002-3086-1720

Homepages 🌐

https://rayhana.dev/

Entries

2024

Definitive Set Semantics for LTL3

by Rayhana Amjad 🌐, Rob van Glabbeek 🌐 and Liam O’Connor 🌐

Aug 12