Raz Lotan

According to our database, Raz Lotan authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

Implicit Rankings for Verifying Liveness Properties in First-Order Logic.

Raz Lotan, Sharon Shoham

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

2024

Proving Cutoff Bounds for Safety Properties in First-Order Logic.

Raz Lotan, Eden Frenkel, Sharon Shoham

Proceedings of the Automated Technology for Verification and Analysis, 2024