Rayhana Amjad

According to our database, Rayhana Amjad authored at least 3 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Semantics for Linear-time Temporal Logic with Finite Observations.

Rayhana Amjad, Rob van Glabbeek, Liam O'Connor

Proceedings of the Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics, 2024

Definitive Set Semantics for LTL3.

Rayhana Amjad, Rob van Glabbeek, Liam O'Connor

Arch. Formal Proofs, 2024

2022

Holbert: Reading, Writing, Proving and Learning in the Browser.

Liam O'Connor, Rayhana Amjad

CoRR, 2022